SQLite format 3@ . BBh77otableisabelle_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 ::C7 2!Ҝw Р|#|bkn"6cֈ fG ysq-h$*׊]?e]V IjBŸqg31plK';uJUH*3ɅCћ4DȘ7o=QwqjGfvmVC0%>*Mo/9#o\PߚFL7EAr4f/Lce뭼W5~$uV/GlɢPE 55Kc?pԬrIGGg"LT%()-,@oaixk%gwYIyC͕ͩ`ʮ&ެGc)u8IEFz!"V[b,=v>Q&=^ & e8MJ4<^R$g^UHjgۿvsdpd_lIG=񹇉W3)o&/.k i.} +TP Nx'e|#82ąm8 =ROCNQ9~%Oj,{*Pz -L-W ya)T7qH?x_pfW P~ 9RسH?zx !Mj"FV3;GM_3χO"*XQRQ9hgYZ7zXZִF! #]ŗXiɟWڱIY\u-Iv*#ql 0(vN'L^̷l:jc".AZĺ$DlV_:zf5dA|`{s]%Vo^KP=3wB %.gYZ7zXZִF! ೉ (]ŗXi%9#qm0093)|! ;+~];}/c pMWp ç(+(pUc)`3}d_ѽL aJƢm0{186  lCN* n@rc1f) c觶VS,"7 vx΅tC.P!o2Huio['~sr2U Ļji0J"_fי=ϳrnqvym*e V;K, 6.SSYZXI#;[֎ׇbO-Qa3![~O08,xCW=6 HK8:KbeiwCƟ=N$TL$Ci#I( <^t=kn" !Ar&PWPS&KB?ZFg0zAŹT@ك<^~H 2m:dZ+$[@|P"G(b>=0k,IĹV4AS2s#HMKM%Z^n'3=$B I#MFG8wgnO>>Tlºό)ۻgjo&/^HK{iq|g֧ /mI:~Е2,'IEKb0L j[p3i9$ޒ-V)Xnլ|NQ>u 0O=P=Ԩ/FR-%Lc0jYc0&uDV1E`$]qGST-KNՁ]KS8" q~`'6;x@&e"hkM(py(f9bBZ[PFxb4tŃյf Vew0,$ޜ-GNvi (9n f ɮ+!4Vh\%bǙu0*l%;P^4)X0grpQ [ 9^QEIL'1'ruTQ: }%h|wrD8+ᾼ*k3R穷`S_DxLR~})zL-.^v.4zvicU饅/Gb22]W̶1M\_0Zi}g侃 'z".n Qi-Y? #p5v%z8/K4.w4XKm${EpHof Ë1CJv68 Xx*{&@uqƖCـf&e?[@#>ya")n&-S ?ʼpOW`\ T$roP9J&FvtMd4(@6Ngڥ6mفLx bWR1Ͳ`]rB^@> S&j+ڸNNO)gB,@`ۥp<=흴q߸rM=sz'eԯ|!;cS:(kF0ѩ!aϭ=.S)%Wo$>I0kvhEos8RFyW2riÂ06}P-oy #q7;IJԀa*j% W}7A5Mqsֱw K[59wL;B*apA0y\ EqcBib -mi2Z&ఫ4նoN}P>G&hEd/Џ|̓_W7p`dQNԯ.dbG%KdԛY&y!#[W8}i4Eĉl7cLg,UB#Z;MGgqD T1K^`0GL!ж/wZm4 `zT턗浽9`|otR0#00$D A