SQLite format 3@ .;  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  T/p ]/ Max-Card-Matching:threads=4elapsed=1.614cpu=3.240gc=0.0007zXZִF! {]ŗXiɟ  Q"9RL*mʋ7?jY̲Io;:k^uQ0 [!5CF_ٶ>ˏ87!*mZ@:;gYZ7zXZִF! NE]ŗXiɟVĻ,|WU9Jap Q9d6ˆux9+06aO̳}YZ7zXZִF! ]ŗXi%BzTS)șMqT 9B/():H!;P|d CPh[T ߄cF-I3Ag n4䣱Mǝ&2n9 Xfb-:x} pl:?l42)P :SeӠ¾-_,oDN2uQꝚO1dc0Fܨ@G8!oA~*Gr|sԟǠhZx#PK|D!1%G4Y -mjA)h~j%XAOҿjx|S<#>#IqU;}$ORĈYV>uuVrȀ %*d,MjYE>נ]RRE.Go;T $D'=adF..{ ۾Hx܋`ݱ6:gZ1?Cx|tصvuxW-J 4wEGl8Aɫ<̼ DHfZT]OmƝ0t`}7Otk"EEkԊe f]lic@rXwSV"H?N锄]Êޏiof8#s+ܧ[iI|{H, l.]^}O!Y>ؤ O:}N|)$5ʋ:-٣Fpܐuٮ\ހHTUqеJ~2H@':q$X /R=ABKdbk8ްt/ɥPu,D;rO:L~F<l\jd:NYnMlS .s[idq$YL(ݱPl0|ܰ.CؠQ/wrzbMj]=j j0bdu'Z:2ȏe_B `o܊볃>t2hjB"v # N@Wȯ-`"12ɴ޵ 97cM"gN`b/grzΚ c7SY,g÷D~[ x':Md!V¼x~x?SXKW'l솈O*،zϚtLu Y6W\;ɵo3kKX[AQGF$83tR8 ix{ !X eК_q:֖ݒĆ'ܞ?oݶ4'& ڸ7iBT0w51vѼ7MC 0jb ҙTa"6 w~pU`=5Cո>*3yUS ~90 (z{5r!H$13P=Kb~ON*I,v(尭vT\%ר^ 2O'2v @RAP_*&hj>' 64 ܔH) ɊK=EHx򍂎I͆j SwD|cQ=D{/2PS" `ǡ1=QԮgώf1 ,Zm_4xP_ mlfIԔ k2 =p4 'P+oU *dY ⒁๮ׅ.Bun \B;p_(oi"e RD&ВFF2tf6CDmV7&bĝ`%t3y YSSolAZgp!yڦ3wrAn?11(K }Y_U| <}8(Epa\}-#yB7 g] 69͝G'rzœ "  7~&.$r΍;&K%·,Wѽ{tSc^DCtE0媅+3l37t7%hL-A0at֬cH $q(BmلU WG?F6^"GGvLJixlWlj21-L!Ng3h&uv oBzB(J ʦpS[ڧoGW/bzEMx0쿗ɉxz3q)h`<|eYL8Mܜ?ׇ@~4F|Xö- #fvD  pPtl BwH'ȆQIƗV#kqiϹXlvɇ7R>x`Xr^{@dm'۝| 4Al0ۆ9SwC2#saP(pM~"Qс%ݮ@[m#[' 4UAK NE7q07ltc(v;$u'28pfp^ Vp0N-0Q\l3;NτԘ^ ac뛓,di%8M1~ddd~s0LX(e|'7Ȩ#o=FY'7{ Z kNEVh \ynOFJ%R8r&'^eZR E WkȨ6iDiU*oYӞ\e}dG Wk#)01Le~rܢߐ>g` řu`xV7v&?usf{)Mr$\P(kɓؖTX}7rx1Յta''Cɺ@$d_dK+uZѼ߃[BF|x̘3hoѶ mch5/'vkf#[3>ն RS-q9,:!n8 ,b-߬OڬF偯~75ܮU)|؃ZY'p ΏI>nKO= O$ qp&۬'>;10† +M3lF978pP8*bN*C k[|Hk;4)AbxY%T6Yޖ03P\'Ocynďa/qx#nm_LOY7~ӹ0c-^.?o+n5yV Sޑ䤽bӣnsRk !z:w֣k|2aMЫ yyTO펏{U61] O;r}#'MQFuH YOF]j] [$׺Ѻk 5i\?{OHߝ]7_0+yK{ȼf^\@ @^QGPt_#UEګl,,){Pf}g KmxQ;-'yQjʹfLq?240Y"{p{%0XBl|_2EhnbCJZ|=Q6O\V^f r\Pt ֡?eҜ |k~GlՁToo?AږmJ[l,6ܷԠB*c BeȠ917'gYZ