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  P P% l\ ]/ PLM:threads=4elapsed=24.686cpu=69.724gc=2.412factor=2.827zXZִF! +]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e16d">3/"A "WE;}&T_:qcR:=\QĉfC#v$xfA "<쐟JX#qð;*;d-Q/N4a#;uo4~ӰTWKJVv:\o c;WJ@XЩPGP0 D#1m{L3vl3&^TO6qF͇Oɣm"ja]8?Z0T:5AQe,ҒwOF]ւy#g=tLvg`󇿄bodƇ53sRxhN~x#ݍN/ۧU?Uޚp6 qoHm]ӛ`% ,O \p+|"+muמ-;yNqם$$ O^G[e4]: 0/3pyCkJAn3jO Gms gx+V)No(#I$k2-i˹ƉV/>:įäϦS!QaFҒ&W_ "CЖ =+bz߿ 7;\:'>_#|^Moju8?"J۞2'S^::G.J?eEgo%3"trp5  PLM  fdQ;<$_Ǹ!1lEyJ/\ޮq2Pn21$,ryQh[7FRp@fYVd>?uQ۴:4j5gɓ q8ycc X]---7PM" ^'JB4|;1o1|4v ̼K.19ãZ\nEY73&)LrƘ[א.,+ج:-KeeT1pig: ~8DO@Xj]mBܫty+8 ΀ 7:A_-y }! YNG]h*Ga @Xv $0S1K)^ )W~}s餓qg=Ep2eV̎!qXX{U'M[cKL;ƪ&dZ-G3 ^զgYZ7zXZִF! ! }]ŗXi%GV% fs:˄;Fӑ;i3޸!졖°ȃ50c-EuVь@S cc+ucY]\/B&guM5rg"#G5hs%Fm\Fʕqھ,U}(·"fZhY(X=N%bNBVb +n@4 D?;/^O,:c EWVZ\um4yd! u7[5z@/JZͿ"ȽMoVU:q7:}gt3`&h9}, c E brXLVf߶uk#64lV͔56-R~h)q$_6gx7fPZj RVV|adHUV9jvi*fmݗ f03-u&uULύ~1HcVkݾ.Ci0Ҹͣ|,uA/5#-#4:Í~qplfQwܕ! z/O3'34΅twmRС#[i4U!r ;]ݑkR$:d21/?8|ֹkw?K $ 'Zv<Шf $ H"{d3Ւ%AD!$bt *rU"rOWcisVR,`#wk\(ۗ1O f>bnc9^? YY0o0g҄iOp2 %[+ q$'0U.+;^ĸ+}HK+G?sh)&wwlTdشTԶa}]Ž{gӵ6!8r(\Q 9} Hjbt^5**0ŏYN'H:E W y R$5/MCu-RgLR_ O.*uI 3~XqۊLt?~Mr-3`s1)>"F*Ig˔#ݡ;&k#.:Hn]<{NȐ*-D*P(wQDH'v8Qe_,TBPؐ슳"z8Б흵tPHDNY'}/p%o$!-{E+[׭U\;bbѶȎ{coI0Ҟ|KNwH۞lGPv`-=?v$(@*6Im讂 nԮKp!\L$dQS-Vbs_ UW8xȝ _qf^ڒ4:멬%LJ=Æָh~h=b.>ųSљbq_eщؿ'#S|RPʽ/x`8H(AvB+eG&S\҂=_V-%F{A08=bSf33 !+!!M PQOKA/n%&Dm0pzpWӡD=,mpi)"NA&+IXWJVsM不I!_Fe{X@0v /vQdDY0[&~N4 lY}[~Sy0-%['8%or@W<^h- ƼlIGurѸGTFUk}=OV'FVkzF/R . *՛^&oT0cE˱C59ݝO9mOAfOG,s٘-BXþ^!۽ XѾ&'~nqnؙޞLς[KpF$_l{9.1 IkzQ.O{\lmxJ_V JRQۂHl(QZlLmfg9p"+-TZ)!Cɞcz_QΟN3~}_(8>I]ݳ[)?￳!;fv;萠Zo F.>ux`U>u /v)up8/5d-MhZԭ|dCl8Q/vb"蔑=h(_>3J:Շޝ!eų%odH9XD? T6RC6r1OҼB1~>1$