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 7 ld$ ]/ WHATandWHERE_Security:threads=4elapsed=27.336cpu=90.096gc=2.872factor=3.307zXZִF! *-]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?4qa6ZڱOJyL.F3_x+x?[ڥR/; ;~p7韗C!ho#,|ލbdT!am6Oo_zlpw.|Vb 錸S|j(ws0pV9@#Pg$WS^Ĥq-S'^h;W:<[2I^/L3ѣՖ!$V&<;y]\U58븥(ے&UfvgYZ7zXZִF! +]ŗXiɟWڱIY\u-Iv*#p<\1V,NJwC8 /}d"aJ(xV|W9O[k"lVp慕hu *Q׼Ћd@*[-ʼnWL]bZ4Ik}L :“2/TION~] f*s >-(3{\9E4׀F14P!==}Aϰv+Wc gYZ7zXZִF! ]ŗXi%L 09!*JQ$G1/6# cRKA[1b[Oq\TscT-ss/ρf.З|ů7@ (e^i]܎5L2lKX#/gs7.Llk#ˢ;di G p`4by ZV_gr1~L4u 1AWwnNwM! STխ ѷD  tU(46GiC:zn;Mgqz|/T&EDOm̎I?O \?6ЍǖB [)@ЃԪ?݌qOJۜokO2_ߐɍwПjGT/\:1~1i֎ƾpn\ܜ#mz18ūfKn8: *a:BN 0sJɁkMa/Q{u:V!dn[X^$ DA Nin 6H'ڱQ-(4z-Lm I t+6nvV+}{V@} -D h} _$m15_18 Yxd&W-!hE`FV(zL#{b8C 3S R!I:itNJ{ogԗ&F@&`rF:հTIbi?MCy҉sI{BuM'Lk:`ġX0|r rVr VkV.Aq W_>`,`u4w$6g0M?2 ۮ2 e41>QDQ`6A&JM&;Η6qQ1DAm6szVt\vdy!q;G5Ia(;21() -oo:.>0_KKjbo斧ﵒ[`Wx]Fqy3( \x2Vɣ|#hIv^BlCޥ8ODPDڋ$9[u}O>=L# K7U<>!?ʧ&Zb2Ε'f(@gMa ǣÆ=RYxgNpF09ࡺ({+%zsxš2~R}@&hC]S\?tO3iԼ~DÆGGtSM[^UzMvgmnTSQrqk pT*ZǞ/iB@A~jiEgD6ꇜT +{"Z.}Cvm'AUt< a9 b}xo+;"n^3)i?y\ ͓WKkd1 ?AwWj0|/3/NÌ+9R4g[ĎJ̪2&>xDzסzB6w^ bg\ M8/Xb4N6[ źI) J.b#&qavHK/oOH[׷2}o)#OA6&KWr>6|lH~IVeT&1wve;+ƪ8pU?Oqt*F9Fuo)L2#/ PjO>JA~j_` CW:C"`ZU9LX}7 rr;4&>-9I\UyoD 1ID|F ѫ;jmsy`=d ܈UxV&wzc `zI6l9([gtV;.I&c= ʀn0O%mi^l8S̻] kzaɐm, q_ &,Br~aB-O*LX6ϊU5/dXЙ6@@=" +ӓ^sisk ^/z)~US|3 i-U1 ~ŃvS-?U%.c;{ PWEG_~\ngܨ3'L0rNs^"gkeD'1Xadڒ%*Lƾ~ 䍋QG-QI%;þޕvL4p*\ Yf^$tm9a}'Kx/2_xlV#pō@͞ɿči%Ym"zKz*Z"ioͻ: F@8sp>sImǻq6#o Or>RiժUWIX'ft%34R,|#k\}:៥KA`쀱Po쬰.}!T@4!)z&@ɼKpJ"25[qi_^J4rOܤTLiqBjxUb>ѧ:6w/ޠ aǗ: Qs͌1 1* jA^°dC*K&;c 4P>w~E9|G@5ٱgYZae767528e9f85d2d56588cab3052400b9d8e27bcd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3