SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  74$ / ComponentDependencies:threads=2elapsed=68.958cpu=132.400gc=6.516factor=1.927zXZִF! =]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjrD~זl\tf)B CB] yDausWGעF%nGCsLV$;#A42Z0RR6k2KPak?掱E\@,b#qU\k-e-O%)J+\-- ݞ_WZPoEbrj}) 5PaY( g]I15KUG+)$bk'K_~}WTޑBJFS/گiܼšs%Ҹ8j?a/lihK:y_+Mm5T.UO12F3n7O.H4m< 2+ӒnsįgJn~~}4k xض?aPx30I,$'wϤp:%o.*0ݔfh%6]@]d"Urm0JgYZ7zXZִF! E ]ŗXi%W%\g'erXK,i_+ @ / c-^ݭ67فFʶ[9?S:y?sX4kjeL|}>c%oΫ;K5D$>jq+*H g^1)Ub{}k'q 4Hc9v@y1pROZT1qSc|Ƽ"^OE#>8UsBJiG=ys.O.qeڻ!Į:w0}JMN,ܮXZ_Fבk'\:ǧ; / !i) 7 ComponentDependenciesEٯeJ ):gXl;t|ZnY9M y'Bxd=$mgAW` QNTFk^*C9!K}[JmHn[g9ij9iM3#JIF~4]Ỉ¤kUY'Hf(p^@,{UNb]xpwQo8;_^#43͉4/`Q1PkQ"@#~?Chd: քØ۩Q !7@r f=GE 1GӚ-̿%9|f|P)?zkwh\&pu^)*֨qzIRSEZa4c#S. ӭFn4iһaS ʯa̭L.$Eߟ`D,Y5vs8g/!Ğ֮t8TR瑭$- *PeҦ -H'y>u7^cfP~&|-B[ NoGֈ +Żv_5F~QpH𶲀fwA X@FkfjO7sjHr:qS~pPA W-=ayR&)`mwo-w8Ҩ9;N#1'?SՋƧGs$.e̗RqrBcog@H}PT/וͪ\\Y:j:R޺ЄP#^ff(Οpͺ~0`h~8^BTsݥp]n ~U~}^*Xުĺp@_BQWyp|q}"gO]f9IFo&r#,pߣx):Nmv[9* BU.)-5FDbG@b5aLW*feK)ß7B8|7'\o촴At3M0kjs";/<cGz4T1HG9YyvB{BF[$0*Ī$nOOJzīlƏs1B  ˦}4ў]'u+ÿJ&a쇵\6쟫9GQ-J]͓.*b?P$oC%qGsxE.}p(((0= 763ˏvN%U/u҉m(IGyb >7Dl13GU yG-$0K̄nZ2% +YKf~dGAB[`l@9[:;$JKPlL4>jh"s;@{R^m$ ]q`hѓfPE>KNRδH\3e&FnSF5dr95eAI]'ߡe=~%h4rP7_ps$V;}Opw7 5 U%0e#N_qم>lKo\؜*B|C+ՑJxU{I, t1:M [Dencb o~ C3^d[~m2 +.Bֿ]o/*!/feVId3B;ŚeAUu҃)7ݠf%ȭwjzQZ0l=0G @6 AvhKZXdy۩>※ˋAYxLnFwY$غFRjtFLb\vۏ顙;{av3ҐxZB`gܐ :'aSɑ;Z$LIN8!QM>&b6~"g!ob$Tns ;g}+ߝGdL izbjJmh8MfyUfp_x+n_ڸ}~u^"3-i@-z&g*07II-r3,} 4>01r08n:xs{C Pʺ|5b;o:k=y&Ici>dWj|h̽φgyA+"bvYRI> 6(GYVV,K}c9OIhB5 hUTT$ͣ4(L3IAxD{s( (;6IqO)A{ %swJV?Rm MtZmھ{ܣ˨U y `l+$nidhwV A_|f?6;)`F?z?={ z)r+f$FH$O{{Œ̘ɪ>rOښ{a+v8B(So&bz͵]/}AYY#OU,T#ڑ8m㉆{V/scJ745u~W@.B Q<%jMN#Xq=j:qr1?i@ iOy@$꽻_Rkg5/t҇\G"gmy>y|iLg{m]ulyF?5"?xIA%Q܎v<&iچ}A!Rg+5yR FVshu=1y)YiȝQS@'։Dke 3 wQ8%RR:q*sx(,C.1w8L\AޢHT;E3-8b¿6]P;wFZ{!̶J pCVD)|G`@~ Je8oXguA},}<x\yPGqE0V Ưl.wm7@U>_*"R28(et#a hM@B"f_`KV\Ӌ6wgYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa