SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 11L $ ] Category2:threads=4elapsed=10.153cpu=37.856gc=1.960factor=3.737zXZִF! ,]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ bӸeC}NP?{o)8  B >:6wp^4YoC SqzEpJtk(8~y*4ǐss`Nt݆XW:H Z,mDvu1#:DupPau'7;<4Ү2 ))q9nY3F*i x<;IxW e FY+/29d Ϋ^aR뻾1TVN:}jZ.ff('&>XΡm+$5J;G4sy&X?uh݃ϠCh+4d=/@ : j|R#ɩWz,j2Vl 3~os#52h@ZÂ`gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaߊɡ m]c|1?$SiG? jAl4 0wk]`Uީ KR.cpwn@HgYZ7zXZִF! YQ ]ŗXi%G̉S)isd  ` xGYsM;6caVjn$H]f/:׳Yf ,0L/PE/\>&/{ljAZٍUd(fu H\6KuI|α@ 8Q/dtyS'W?GXts6JJR&x] V| AWf)LE˶6.,ϣ/l4XMйjA[G.cW5PagR&0l@&oS Z$ M* sTR;/`rl'm%t@s<{^\!#xt8 zmmx:`l*(4V5۩ x"uz.xQXw!NszlPJJt> )Kd/N 6ZwSسF(뗠Ў%$R)ra1yAXHx뤄lQ%ȧMOUUtt@x7ig n8JWځ+rv1,#:W B9HՑ1| Oii$G `)^pyp-[R MFGwHR \qyx)vviDraœ lCGgzl{0=֓+\*Ťp zȢh>OJz rǽ94mrAz0p}8u+v|xf)/sQB&:go‰q;t^oHl!e * I$Nbebԕt/hհ^='1p]. _&!“ZW9Ͷh[~-O T 7޹At$&1Q=J|%cYhJF &YBTxeEHU`<,9b~&[MƩ*Dn