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 3# Ll S]KAT_and_DRA:threads=2elapsed=41.157cpu=80.288gc=2.860factor=1.957zXZִF! ಠ ]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&͸ɟ0:(!-_SeIWj7בKxczu\; V&E}A+ΙBL>A)0~nƠs"J*;ӹR|?.MMgfhi'}dFs6:5;Urwɤ 8O&{YPg6>+!X"mVdW5h">jYWU}%/ށ%}Czb ¨?wEx3~; UKW=9! 'fNTHW08%F -ܠJ,H;%0-@6 vrU}@D;JOK:;ȏۖvb{k }!Y,'$K/ :-DLwm% 9q;ka@=Q Bt}K9мھQ9χĤpZd VQ 9TTfɴ^ d{"Mk)B"jq!@hp}qk.-, XNV2?2e|p\ X=w󠰷c*z90[~1>0SNkP"uNyDag{=]/XlƒlQ<#vh!ͥᦵ5GzCA.d6pajDο U-U?F}(osQVdu:NM&(uRT2|[GT!}wD|ƪ$ǟH4=4ϖ{(%a$g3CcMGKsc{h|5Ӎ@5p-4nN<` 'Ȧj L= >UvͧO:.<,#rߴ0H!=pP"흣<P57[)(CX6W̭9svqWwI±ry6G[s+fNZ2gcJ J 9T<H8M3$#:ף#XӍ*R7QAv$pL!K2h@7M6}X+vzU|-\Sh"ĮUvy:k-3jƝC1-Qd`ڽwl`!S@@ٰ EXFŻ@lY',0s*fJ"WgD.!3e(ֱ^͊ʑRΎʓ뿁c M7®r9 ɗֳ]˼tO PRiLޑq8UjnDޡ\,aWҾJXEƤ}symáɗ }UHw+BAhVrc=@L?a8Mr24".%>K*RN:y5qܼ<=@]3Jp2%dmFg\)4'w`kT! .!6Z)=h[:ԡRj y#:x@TPHxrz34@uζl\0DHT ]@~Ԝ ,y?'w%[A/.UfBdE; 7D/', b@:A#2iszC@)sG+#wsʖG&Dۆia\H 3k4WC2u%!lޯ-83 n}q񉞡Sw3NgKt֋" ? \1_=ŖB!nf ܴ>NYFYR##&чdӥI B!=y-98&$z?0>\n?=FB[=uUßNgnr|g2 S{sՒq[ţ",9Y'/ʿAjP@*+M;T\r#M iU9ˊVʼn׼ a젹ɪjJ!Ҷs|4ln?h=*o^S ̶K6ój!NfUW i # KAT_and_DRAU8mnbH]0I׿B寝cq/;T^)|%޵CFicN"Is($'t9||V=><8Qu1B;m2U@la9qs >nP_UMTMI ot[d*j*-3UH3q4@Q8),;o7ۗtarnu8ڋY1 bp;/9#"p\1r]Q ʇC곽&62 e$" n_hV3;ғ` =ݓp~Xd:i<99CU|5%fMpь5/APeP]) 8yPiXPȿ`:Q36!Ў2 upE9+*v<#`GF7E:ޜCz<ӎeNXKf>p\FaK._Tڐ{zi0g\$TK :1 c4]+r <ZСYZa%q}T]{`RǸ&8`([VuS M6T7a)|(jt*\j> =ޅL[o[DmC.2uq2䟞3N9xJ~"/*i!&"GZq/ ڀ,E\+8 1?#fC+&ZVVyߕ*EFyah78!D+OB?d>@i^g[:fG ]|h**2խ֍ t4dY!Ȧwx Q"ΙgEW D ;K3DXρ2*1CAhtz$#wIn˅(H]* ?( UnC?WP DH /]fL qoD1B#Ƞh1נB8,Ї#&Mؾ08xL"ڭ ZaҬD# )h["* Jyһ^#Ym⪬l%lgf0݅%~F(*KQ-IGOr,js-Rb70IOBIm%>B_ ڞV?R/M9z!R;ZCMjt~gHSrT1(^ ^XZ@j w_cFXN:t7 š@A#q t: 1I*>7hw7$N4=/9ΤRPX_V m^,RHO0wF^kpӗaizZ 947]싄_ه[*9~鹴'w|:uҸk<@"5ٺbAQkS?4U7ɮ6M-ZJO3kn?h, ?fӧIp^SmsO80:_N[kBgd,L)4_w% wfޜ gpB-/6=GmW`+JgȱtAuεg6lO`vQvXMCU @V av]ڦG1gYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc 995367f0b8fd9d1beb35ac997940ae8503ecc085 ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b27549c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5dba3e08078354582540bd7f069d8e3563770453 c0cf0bc549dffd98f25b2e242ab6383d9df082956686aed2cdea6abb8d8b329d5d439e6e6789d040