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 3 L,\ ] IEEE_Floating_Point:threads=2elapsed=27.219cpu=40.200gc=0.660factor=1.487zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwGͫ|/|ɳ=xeFR32g[N@wE(FgqU߉w^˯ƤH*`K1׬aEey + 35s23WлsP|o# I(k -I\XfW|`56=,rzK 9G6nXj?qA yx5|5yfJ^R]U焛 q'A[ŠW^C(玵={n[M%P<0>cjf=cȭ)L7 pK:٩̓+'p<eܷ%+'cѦpY QIu]">ԃq4#e*`n NL6AEg7j'9)WQgYZ7zXZִF! U]ŗXiɟ h]|)h/zmjd0CL/giSWפA P UYa2Nd H?Ofa*r}d=!݀Ϻcb<)+S00E$ohBÒ`gYZ7zXZִF! D]ŗXi%ή++O7 KE9HTe f?Q؀~ź Ujb IdCz>QN:u/@ PObxlhp`,*ja$>&IQT'{9lAp2yLmU9ՓN; 0H!%"f'z fTlrb`zzL9[}tVw+*\!I1t1HhE\ Kd._VO?q 2P]@s % 2S G==-O$"Ԛ2nոU Us#-1 @Q(TZ!'C%7xmn6.m*PVG.:p|۰;uKuj_E_=œ@%-tfLnBBmv2Oza;,.KvƣSC1ȬpBh)Z!x3Y7pʼn c(T# @]_ EwgYrd_%i3*Yꛣ "^׹WI|mgom:WZ''p/x %о! gAni5 1]~y&%YObkX6:~gٌ̜;:z@8/"DPXdaDݨv|B B`ôg`t}#(Ey 7sO>:HRe. :YXRђNF~p[ T "wښҎ#MB꿠+ ijޑ6:8gH[CԨ1 x ˏLBP pY^/S~JR;JM \OrQh8ypJޔmftGn DEu\G ŞFgYZd86c8750e3fda5648d7bfda74d1acae6d721855200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3 IEEE_Floating_Point