SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 q1l\ ]/ SIFUM_Type_Systems:threads=2elapsed=63.706cpu=104.164gc=3.676factor=1.647zXZִF! A]ŗXf[&N:6@x7siFl<|L+n|!)c0IjpGH{Ф8DgU(#Hkfz3*6]maBxۿcsZ!+ ,}F2Ԅn=Fb1 db;*!,Y.Ra*_iN/<}59?, 23|]`.k} Α$#@N6 =k(uT78U^]NAڪ{/;~Omls>j\zhx?`: l%K?xY09Ǔd*kH) Um4d۰.)]xt>PfG sRp>+8Lm8$s1_b5d%f{hP9 CG-[GU}UyRy|>|&g&kMC~F=pK2s1A/|N3ђ?Аs9f ;{`%?-Sf+9躹 daAܑ7v[VؓF9؜e`jlil8<_s/PY-O Eu.ewEPhr#tAKKq/GYܙ{{r5IAt?ٱƅA 3 E@3z;_WbPl\7DԴi4h.ṿ©VF`[GMH@ P]A%$~UgqsnX!Ȇ|3Z3wH׮pIJTX B򛫣pH r'Q/]-[BH:pB2i6p֔r^ꗐt-+;R@Y,[:)Yzw˹VˍƞDtfE@Qa--iѶǥM{vg&?>!âHMDݟfL8,f\!H-2\F3z녎^b<޾8Z{2]Bk+(U`fWn,ӅdhVʎ (Tn:X FsA-~.R.~Ҋ>)`}O-MS["!7St "'.Nۉgo7cWoܽ2dM c(HHm 2P)1P9K]ߟ4Yz3=/K% wޅ5`jĶK=Jͪ~S' =t)pR?ᨨ-WؖdL-2kw˳‚mۅ5 UsS)VUdi0GؒJDžsU pCzUѓΞDo 1VV_!J5ayd_˚w%`C+?1HRHV\7xD76 ߛ+l#ڣ-r?kj7;gʶ~WP@v52M5uE.)  Fɥ7ɌlIAb TGTgUrL|f,2+Q:[+wBɛgՎ5yks\<'Fլ]:vt~}/ؚBw=nb Xd1"cU+yDt0wm0*_݌Q'R 9;mT۶e7ܼ5FvKtxwxV jy :jF@z,2;zLPU+\uU_#ǷN *=cTen9TbT3΂-\2X[trF%'HNLhU}?#E^thyŬ\AģWڋ½\eUna.?U@>ǝXw"+RF /k]>9vT~Y#=u.TFu:#6zϖrV{)DN p@h5&gU VAŢ:~+}h\-7-H@3\k*= ߓ"?lr4j(8m&:xxNQ,ÞK`(i?)}1-iɸ"ț.K: px MT`}ѱT#0έ8 RM,K1'R;fh\E>YBM761}ȳNh@᫣a%߫yK @ATg:0Y >/#2ǡy?yKQ0 #q;7t!ko`L^ۦS3'bB02%8|Ɓ1.]e7l1Xku`F ̿p󄝤Ze ]wV=4,jv^,*]dw D=momhX,D')2cq1>9،M<)ߓg{Ay";7DPd/)"2bTm5Y!ȫWz[sr0XXq $PM.c=FxqX}'v&pT,ЍOKefIM93}?T\l4^c2oS#sp6/!sQpG޼hF|uwN ^!ڟq( gp_xa޶^f*(,hvOBAcE3%4/!-Kh?p.4*yNpkk]eAX8oFhSѴ>G?qc77mgދZKvIZ$/1֦@|ڰ~SHͣ$G؁ޚ OUSvgQTb'?Ư禁J;"޳7|",Ulc#73 ބ,d,2@BGwHi*z@hvi]g(Nk}+crᗮE 71n]E0)~MUCT`:rΦx4pł1;I/Xĸ< M+RR/-!Q)AGb`H&0Ԕk aʧe \MJ3D~CqgU޾r#է,ƋEΰ~Q. %v'qޮ+|tG]n:c6+K3S?q,AK#eL2Y4PU1bV+X$X#d