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 ^ td ] ZF-UNITY:threads=6elapsed=5.068cpu=25.192gc=0.900factor=4.977zXZִF! 1]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđm [ NS؁iuKž!lljmJm:U"xyEJ@o?>iOXˠRpDD}aRa|O˜작xT+T0 rDlvVӍ*!u bXs}0/9:^3;mZ`xkXh Mi5rN zOeF͜رm s7 U(/*yMz>6vў^ ;PыMddV(@0 3+^s|WFfAaQZ=AleOqG yH샺IOLbkLdқXUEŋS}K:E_>Z-ؠ0wݪ;2jSjo-6F&KULJ]kAMu.}^DJFc;IـX-7](ރ@@drW wס 68Ǫ>go^h1U2m>G.h,b7|:, IrNB?nHU͈Ԑ) s1n hlgYZ7zXZִF! ]ŗXi%o?@[>QpBV kU_Bq{W¡ !Zl" a1 p=sP|[tW:rr9S\E>vҒFO]Kq|ʩ\%p H}$ % ؂<~~28?Ds~xh"b#7B,2)0Y=$Z8.@`qψ=R}@,VGPEI]$@f1pB۩վuGspAkvcSPN0$+Lɷ]g^*;'ʐb>:yZ%&8 Ep~0bT^M)y =F}Qo^8'Ⱦ;Rx$kN~W%pӋa9۞0ʝZloK^ָOblO쓐uo=xBfLm\pDbRiWiؚM7pc ]#y(@?\\J?5X^1GT 4"1ܐ !L l}ݘi>/&;V4aH~om931R؎ԌBDl@%VXMT_k… ͧ9Ca1!zHK"O:~gZJ )t XTDfc" lUHjAIy8;C0MzFtG((3 gYZd66cb8ce55471bddc8aa591ed88d4d622e39710ebc0597c9f59ed66554e4cc7d1e17fb50ede497e8 d8ff576bd6f3b1a799ba7b689c84a0775538a100 f9672d81a032dbfb21cbc810d289a8169548e936   ZF-UNITY