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 R/ l SI SDS_Impossibility:threads=2elapsed=58.021cpu=81.244gc=2.192factor=1.407zXZִF! /]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,P?ή0Uxum#M`˷jԬ6&B^k[]֦ύ,ӎN;KBC4II<pV!n̉Zkf@o鵇c }蒲8?;U-DuHnL\tlԕ2t2 ~B-Mp֧me2?20ldb1Ou m߄8v'2Oh n9Ԙ[XRV,76u-KLlkeE ˟7o"QɨMZ])k\ h1 K"̙77^y?JUܛJ]F}\R0JY쀀⬳td*C?̂AB 5:;XKT ~@Xϓ)e9 bv6~dQjhYI# p?Ļx@_/*bG) /Jĩ]kQ~e@%įy^!U\5eaN* a@qܓ 4A)Y;)7ʴ ^2Izܿ/[VAwz۟9O@>VՊ о 疬zSpW,B6uшwM|A3uVձ$7$R"g}_^d֩ݸ$b  J+b;pӐ~9ΆIś,W2* VAuЉw< |]*dJ*VT=Dk,os~H*AÝo~\-JZZ4(;me* 3ʁ;5:jb^gav J!}NT _9o\q-b*A:^˙Ce<T5C$fE@ 1JUl4,cx| @;+ϔ܆iS6FCep>ÑϗNY,RK( wP1DZ_&jr&6[W1erCf.=NcYHmId֣K+~C1-a9=7΋QhXY݁ao{!-h]ƪ/%Pr-kj#ȈBaAwSЀ{lcX_ezW /'ruYKR\\Pkegv]3)Ɣ ;\(QsY& 0fF^TWd|bXDϿ}cW 1^93NpZW\*Ue0UX*nu FYo~lY:j+q&#~p;MZh{ش]=,o% i۟o6\\_%7*axq ʗ\(;R) D@05./]d=/mdV_ ? (tr֭޼qm2ŀ+dM9fO/v9O&֬!Lqi쎭d12adv_qJGkq&9͍rps,@صV<|\4+҇j4וNu};կ fDx%a%Ɯmj)=t'ܵGNל3}PL)*S~T܎0%6KCI!#@oV$'/_DX+`W8yMl)Ku{_\"jG14 h-M1my,>tUo%n %y+Dx>aOEގcnq0eJf˄K577hK=W]?cX{9BCؾuM cNqojS{S}iL[V&]/A&rkVҿXV\]uhln%bGޔ7>Uo'GҴC:U<ˆL \kK"Pu[ݛǫD΍KM 莁 )3S:^lTO P5_zMXWѳuEu_,%HKl^ӫ(gYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afab9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 11947f4b2adb08e8af64993dcfd8ccce3f5f6066 063a13dd20240db89cccd740535a308b6caa0324