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  , ]]]ZF:threads=6elapsed=11.411cpu=36.192gc=1.928factor=3.177zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TnbZ+E Wk"wLTg1%ŐuH%\"lm.vOht01롦sW-BJHm$"] IoX&Q9dV.$BؼߕΔb)#jxe\&[ RkGSM9l͡“drYJU_ sa9\ӳ.^.XX[u㎺kZ7taF4:yo_ ^):iE_zB$ k3 Pr|Pt-ZAo3T./A>J)+ڣ_eD18̳Ӗwq}̹M)MU}%h@f.u[cG3gYZ7zXZִF! B]ŗXiɟ 1FE`空~ib7 fs?|YsRP.pL]3@zӦ= B6*ڀobN>FZx EIxY*Nn.ZW;_Awɦ%40zxHJXC[Y7ko66Xt0薟ժΟ}pS:xUG}I${7 7nn!G9\\f%=rPLـ p ,FS7ЪvȰWK4j( .k+"&V5 +ݞpMHlКgD7⃅bYWr#d0R6`~e<]OgPųaBrᒕszI4nB8nS9ge5lU"new 8"Y!ա}{䔱+t],׏Z,@2|2 6;7X6k>|o]ץL"YQ"Sje8״L0[*=qԳ@>ͪw_CjNr&Rh1#/Z/Oc[>gYZ7zXZִF! 8]ŗXi%έ_-xjgŶ^Ha,,j* K"6kn<( XjXσ1Pط0=M/\{4-gVo'Y̔p)y K< 5,$TvL=RT5=a%LZbzߩMwX)LJ6P#NP .iMik, 5 0z &!_ɍ?3I H h!ƎH? G`n#88^ h`TypʆvLs1.U˥רgu+?Lz]0or/4rF7N qV@̱gYZcc791d74bc7529c70d9a80fbbc1973a87365ab37c02607a1ca167edcd658ec3d4e79e4ea4af5ebba59326e5fdbe7c0a922150f3a5ff1d4e2edb83feb  ZF