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  4y5~G' \#$LjxY6Q%RE&!nBStp}|^=ψj?`#7t=f3g`a=኏ z/X\ro{7g7*ug\_*>9919cyUP¡JG`D n4~NQ|=Ƽ9vvFyˈL`G8 =7fi4J/͝gYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉU^&p o{.٘&δIT+$3ͣȜdFzPIA=;Pi F#oXՁIh˲2*`648B[SRDFsN$Z WMr:j@Pdo!gYZ7zXZִF! W ]ŗXi%9(SN5{3)\(}a͎5$%%WId'IѦ'to42yC.hIAB6pQuGMaNrܔk ; 8MVY@@?gRʔ{u^m ٴۜԠi.xsVKZ"$Ħd_w,6UTW E &GMH`t2[fֱ̐N#dY>h)$8qvw;l+%0QoL">u? zB1$8m (l Q~-OIn#43),v */[W7 jӵ h(1ZB fӀE{bʘ]OL70ǷڽYݏL@3FBӉ55U!d >YߜC; f}"+qeǨ*0[k5(얙# p(n|5 5?sgfh=b:Ѽ%L.yvSwFZ$Q2Sӆn`Ӊ׷☃U{*)L.JU[YReWyl%>Q>RБן RYI3P<"ARz;LG#X7LjeŊs0Kc0F7=_ŷp4a|Luw(7o(#0㪹%a~g 1NjIJ<w,,/6:6IOG LWPY"HE%(;GiBqX(iQm1T  ]WX46 [.r˧fix18Jb⛬S-{g&7Fp3Hھe3r!8W*P,1Pe]Ƭ+ dW7*0iR }y紱X%gbw2JRسms4>'qd0 F˛0xUL}r(ͷyQUI $hQrDAf/vu fEߵvK k)RuҺq#kQNߩ]m)9ΙG21~>w_k,7eN 'TdY*g1BEU_`;RK?  ^=M*0 K9b*,|_ &kwtO@fCL@G8 =A'ajaȕA ˸Ov Qµ&`n})ڭviO $RWڧ,Y^v p7O˜$#> 5|pcUpa[h!=#9?0ґbZ2DOmJVa{ˊt_L {d64h؈S(E#lL$(z V;Ϸ& oN`vB]-eݎVnK'ag;MAlml#CRƊaO*oWf gpj8~q "3۶?i*Wma7+ tCOW[ r+YB_=P .ܩ>mW hyW4K{nǦDG!H̔ZySUCk؜DۓdfbOkH[H Î@#J镬 gl@͆),KUTS':h5RpN'p0g"!= 7˔)0u «\l4}XKP[Jm0$E)b>A58O+ ~ F@%lj6ct<>w+e/0o4}{_#ڧyHٍ􈢓JRV)Լj@HyA%,VH#NT=kG{ǂ'yBz+_ P_ί&/LG<JmTfߏ;茞Cs[Ȅ)@LjN z8&sԑATZ1"̲;*-ݧY2 ~q28f_y0֬5/\謁0; ÈU 5;jO()Bn8*5Y\2'@(my) ,~ȸkz_ﭩc2 I7i2!' ]T-u(!2ٙP 2 [y'v_]K~wnoMSS4LHK |ꁤA(xDH OwNگ L",` 3 ҧ/nn> Gh/[;Uԛ{0V7= ur.#2 ?v?&NIfЯ\ /;iZ:%d%]/ԝC>{0ضgYZfe27a49517ceeef9a5b1bff30031ed7e5f40bbba2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af