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 / d SI SDS_Impossibility:threads=2elapsed=55.637cpu=77.804gc=2.312factor=1.407zXZִF! +]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,1@9mq1@ 2jzH7Zb34;zv3efZ5bjT„?Z]ݶ u l)BXUk‰J:Pz,(z8}}j0ˆ>4ˋ'Xf/Jo{5ԄcmKBM۳ãQ`aWYODM=fRsc } n#x+w*H"_ K^Gyby92Dqiu@S,[  / SDS_ImpossibilityǂTϗ׵lAEJkPDË/Rk啛QW`lEd-QDL7ď] ҦB%`dXu3 Uʰ2E/gop_3^22ίhگ t}!T?({w-i5$Xmgä 'F"nM12k6@E*WIu1xgYZ7zXZִF! N B]ŗXi%6"S{!ދY#1 XV{R؈;%F[A%#n- rfO}j?<>b`: O_Nb RYVHtch?>!17z\ﺽ{4bFq=)lɫcELD~|2k~9|͖fK~YXb]ZG%}=/L!cb f^%c}~uW*NKvX$jnEHS%@%=[L'lg{_rS$Vk_*q FBճy4Jy1Etbv)ZzqF:.DD!>߰hB2 ұ 'uWZGsS4WOmyfL(bSXO;@܊&IIV/~Kg^6gEWPIG~U*ګ2nfGX)TzklL6@yį29Km%kMySvƬ7z Ψgh@(c{ds  r'@xM׽&Js؀IZ1^e:Œo3#ѐ vA}XՙZ\>$KEGAٮq #Ye!vP7LE=Uo%35/4& z*B\d{S/tY3 rz=^A-XN \qBꄫ}is؀DSWPz\6By&u 1h>y8al.BP,Q.7'`]TV$8&Q]ӹ :FN Qlw\Q{q0渻nGusm6@$xȨ ;qOd#n1tHWo{K@~gp|85EURR2!q(jL*?3os)iCґkt}Fa{2h.i9nЉQZW@k(QrQwϦ75`Dɩ~GvO`,y]ޞ-aQ4CVna ~ĘY*+eAdkp-%O:FtA?i~S%ë#SLɽި繹,^/Ax9*^ƫ8˒n6> `t>8.bt$+4LZ==Tr,CwH@ϴ$hݜ2h'Rd7ꅟoNH&С`2d0H }4Hq#ڥ,:~5X^ij%s.E?*\S]SOd@8եib{AM"Z!$0Wyg!/.ޡ3|U(3D[!g]#ELIɮ=Am]l]N]MX|;da1Qyr{dkZ/\3$>4aǃs3'?X*JrN`_TQ j#§َ%z耰ݾyOΤ:=@0GYm$XO:zPfO~;WIxʫB(WM)`T7ŁUI9;~@ oz y$}~'7͎s51onJ%i%[p]71Q%gQ,wgx.?N'2K\$t5c ݢv\sttK>m^{kpbHM"/e=}㞱buil䄗 1mX=Pdg@tϘgYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afa735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece 4330eb5bee314b6d5b47cf7b6e504ab46294d96f