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 dd $4 ] IOA:threads=6elapsed=7.137cpu=29.124gc=1.124factor=4.087zXZִF! V ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:\U,WCY/n6^H2z3!5. cP)NFP$ {uw km?S-oUTJY/$>V\z_]V,nJ|*`3`|3'Jf{VB0}<&wyg"tupIkP@Ԃpmt(X$mF2*`#bG;2@ oss6t0aQdMzfx:o ua%2[/WgYZ7zXZִF! `]ŗXiɟdN'LvH۹}%M_Kw|lyM,X3J0,=y,h9zhy='jreLlmV!@PZ33S[Ve}Nd#zm4Pz {u+8ngApIiJ 4dc9Ѣ餍q,vZ2t#_%j5"Ϡd$в(s8XE_oJkQУP(u]HG1V:~k)T5w4(Zn eo ln|=ss~,D<QaZQRʄԬXja\D YFgYZ7zXZִF! #UR]ŗXi%;nkA+v,9B)c)n[Q \Be\O-hkSs'<3|?LYb,v]Bƅp%:Z H:j-}Uԅ\Pse!Ot@qV@ڦ=+ Ø>Dl^F` $P96vMj39' 0+5-- _cL=swE.n2 S< \C7q -֝8gNAScr%ŭ"~dƓzcx3 $~oaBdV @ڮ&LN`~gřm+ %w`gfЖS{+_fw:'X} wGBu8IM ]y}O("wS޾꽺{_JAw= 7Iή D<\^ĈZ9/ӻJr48(`qOI]p' `wPvܴNJH3Ҝ{KlN:Y`ctV^ 8^xJ5A2X >>zp#T++ ÎYG Τ8/yxUq'i̳ui4bA# KfNjL61-պK6B NV1xSӘq}0: hThZN0tXTSЎ^=yJeЄyi@CZIr}SW@&xtҎu#uB6ѭQPP&zuzeϺ jgi_Qj~W=\,R_o{FLsgYZ0f70ef2833e1f83d5428ce741ea83953de8033d4bad23ddab4c2825c2baa76254b92affb4eb1797d 98b5a5427e7a2db6514648c2f2cf437d99d2fb79 e76a8dfa0d50851d7336b56db1a424ee01fd0e1c  IOA