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 aa T| S PCF:threads=2elapsed=47.582cpu=91.708gc=2.664factor=1.937zXZִF! ѓ$]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz)Dex)j] WlàTU?)=tXrI*I> ~/`ՈP!z%xJɋ#eKm٥rpC,$+4AHV;[\D ҶMuAӋ%pc$ G O"PV%4RݪjEE{HN@K7=KRm>ԼSLNkc{1OR7k͉ޢcv,RO2 $f^2K 3xLQ<*mycKϸzOi[&[;Ǫ\X : m2j3 a1P_&.~|HzV @ ᇃDe~±`"i\ C‚jht]~7a8^-_(l|_@h`?FklVIC~~ 2Ë\$ $ /^.C gk:/'M_:A o mc b7c{_{=ONSVwVB•Zj55j o1)$!WNf&뾷£BӭX5"b֕X'bgRNdz?2&cɪXNZ]im/Q9}cEMla=IPeURz [`.ˣfY4oxHYl{. |i!GĎ<|V |+Sb ?/#%0n\Ip̶[zUظ&dFl! Vnfp_fcnO :ǺG׵:/R)nAL"㋁%zkL[&E' yȿ609r)H׳'8yjzݚn#d^ob4 \seVݨŶ,JFS 2ۦ4(pM1 v3g rުZVDvœ8?jihd5ONɡy8m  vϘyS|VBV=v] K+m&a+e6QkOrYwGf*TS.A\'gh@}k%#+XdÀK A"QQe#~-Rb{Q8v]-ؖ%ȷx|6`bW`D= Pp #J*><̗:?HP7_>iI`*DTΓGŁ\یj]ss.)bQWՎhMq>V)6#_?3`  PCFW{o8|!OP搁?~EbJ[i3Yvx|AOgU?@E@'֘-#0ӬUѮ^{Tj4<@J{:QPIC|ۢ]/?+F̾v؞l9;JqUPJv5L_XN{x4Uת%bYQSڗ}ٵkʧo:-sI d#MѱgYZ7zXZִF! D 5]ŗXi%sz&b :ģ|;"`1{]Y͟,Q ] 8% @h5Mv yY-j$!f=7 #7jEg(҆ uSv6#=:H>XU%YJ{ؾٗt~V LE#dP!cUh3J1aT3EȘA7AFGw|rk\-l5j!oyR:-1vޥMҴ_ B #1l̙G- Rsj\\Z?\PtT-vehϴh׎@SYFE6F*9=(՘ }p N%ؿ9C=٧nv2enQIILȥdIFZc9GZQ.=Wj1 tS thz΋~ x<~O6 ZaGΖ^a']Fz)Q8,+cL!a13:+ E4RԔ*Aa,9΢'YR>}wպ M؟mGFt#u?k u"xL(T"] Fsix5er ( C#K&*~x5M1 ǑӼ͒bzut2dիE7õ4ػOy(m9i[B*SuG5vJ7TǃcSwӍSI:ZJ3HvZoWPQg4,"zʶ&Br4 +8BL)x3h>|QeGI%G?luUmK+.kR#aE߇cI;L3'~v)0I2y[eoS Vٴ!0ǵ>D+,0@zn2\? ڹf4̩'o]RU쭩f!|B}t+1d+0VXo .AOǀq{;$|Y@p)7BϵkVP1^k篏pE%BYx3 aP$ʱ63pe^\H31i>7f܅IXRl o̓7r .c [H(Eer ?;! Mxize5H<]CR;BhjJCղ϶;f u]{_+KQi@ >;ߒH<)Q/-XLEBo`TiO"x#Zk8TrkwNB@5c)(K [|vsK68Fma.-CV PZe,} ҦbW\I~tpT;TF1ߔn\ ufZ-O+Ae.318hbV٫n>gUv|D?=)%-WiܜC8g1%"p}r 9,97Zke]mHᄈ6w4_Rno̦C#k؆); F జD|9Sj8\Q">L/+G}+f?Ƌ(^4]Rf36LYJIWViP?tˎK(ܰ2{Ql@҄pRAg{˖ |aMuXWcZUEy0RK8o$:e[-2r7}3̋[}A3Ѐ;YY&e!Ã\pS){My>P[`\Β(Œ*MKpk.hQ!xB8v?Hl_ō#oUM3K 2YL&K'.H, DΌ4)/p+8H47w u͓!Z̳:2,ȏgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 4c4a8c309bb05096e064d9eab7f4735032c2994f 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 dc338c7e281dfec00a38ac4b708182083bbff572 df74f801adeb78749d8f6ecf1245e4ee32c568b39711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 c1f78893b8ff18f75f1914288f7e034a2877cc05 e03117fc387548c18b0884a2284bf90fd846f8b6