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  * *K7 dd4 ]/ WHATandWHERE_Security:threads=4elapsed=27.438cpu=92.912gc=2.672factor=3.397zXZִF! ,l]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?C8n~藓G~$qA$x#sZ}įN@jI;-QV38H8' vK /[tZP熾Z(]GtJJ"Pɺz &8۝ # "}dj>.3)w)%̡)aK̈js13bRȎ"Q3XiYșH>&=#YS_/3[]OL} Da6q 7 WHATandWHERE_Security  vL[ zy&ܽS7z)jO'nջq3%E8Z5^BbpDd}/.,TK{E4H"|ж4C"c,`3 ?nSf]9yr"BT>GB,j&b10SCxË,Ei{x7z=3D':VTZuΈ8E P vdL~}[WwXSAaZy-kQ$'Hjx!v}Q&Ŵ¦E8i ^i0ZAB`N v%;JrmwS ֺ?@Ot;4'w4P]Z)< 2f'W@`aGB 󆩒KS|K#vgg;Ch&9)a?,v]NY a;eA $kYХu|:lzK vqtYE"heuNRFDa$T 1bFk _,. DL Yì{gYZ7zXZִF! ,]ŗXiɟWڱIY\u-Iv*#pd[2v(Gp u ^?  vcp&F5^ d=a[R{jzoٛmՔI'㆏|"0t5}2.5dɳ(J"wyQbegF9K 8 R0: 2q%r5&Oɇb&&>@az;ֱ0x 7 DѱBL">ު/=O 6 }DJ/xn͞y"xncdKOt4? &m 5ȳ&-?׽,8t}.oƈQH , .v5IkaT7ȉk'c otuawb njC<L,ҀV"vxW0Z֬7~_H+mz3J콓3s1O& UJ0}iH4VU bz!L^<*Nkx;Â:2Dl:=HʒK^ o~wd8!7VP#$ | k\G~rHBa]2% :5n:J;% Z@8uW>yЕf|Gگ%[PIQ+7Wj=ƜpKnETDbGB4'BuGq,EfB`*QۧhaܚB٭H"Tfo̗P,)~8^XA ڎ.˶ݕaGIH\KcQ:S2.sM>9IKTJBrTQlM=JXLup(!k 6o6z]EUOI}l&N߰A hs0 Tc؛J)h0[^ mp!ܗc7Pku8 WHC,.\( ZkVf-+y,7PV^ <m= ׆ ނcPL6u'W`bOA&cJe_̦͗!<5l [H.s/}kɤH]ڇ~4̜822,]ouÿ+?gR6IJr0=)O23 F+Yօw󩨮A^GvY,/`D>Ԉw%;zW$ܜgt~r*WGbnom^u- )Z>TA\(BA LTf`^TE> `3H NQ |؍ka$C KQHuU!%5}vp vj\ %C(>+ ? vKNH)<[+9.1TПNNd$挕C }#qHpL*1P1v& IvYЉɎTr/?oW|7(O̯gB\37DU7)Ӷ%2fȃu~J{:sD=M'D¸[ZLfNfX%YQܚ Mf{ N ,8]F_ӝIAZ?Dgۓ"\V&S0=6!#Lr;ҊE)o-<8c1D SFro6>,/XjOhUB"A_ؽ~Ivԅ2;:O'q>E# o-A55y%DCf̝ ̔@7[`=D"݃l&N,pg!)-.O^rH;VR'XpD _:$lnlN``xބ6nA(6m4?-RMH#.$LypaǛjtjCoX6/g+U?hjhr,(weB%bxd쵒Kʑ( ̬=!,,tz5! +?õ_OÐ}ekc1wMܝ/PxSKpj$9nsݏ_} AGYMKoed >PCѨSoOt,ffVtMNrv-@˹\Xb e]g|Qp՝(aP ̧ *-Ć]XOaW nyAr._줞4@0B?dF8NRIbP5os%<:rDX BvzCEnU_p(gA ,q/Bܢ0槜HFج,=aO_ 0Wg!YY̓cR)l:ۚByW}