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 u ,|| ] IOA:threads=6elapsed=7.276cpu=29.476gc=0.968factor=4.057zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K2ܡn^@ Ej,};Q/6cn1La0;Hٽ ZsNp|hL*`TKi`%e:S~3}W{̅o|Ҹ MCs|xr,_H1덶0Dͯ9N:LnR(*^w n c,<iydzQǗFso1Z09O8Bx>aHߤ#_Q?D8b4XP:lH4HCwXf/xD0u[Z{$`85VvCŦJ6GdqȀNsINfom> o܂9H+@R^^DgYZ7zXZִF! `x]ŗXiɟdN'LvH۹+Ib mN2N姐_PP&ǜ1GkLEEM&cǓ6m| ARTn#i@c,{VLO$~?`g!8۫2=L"z=;f-C  Sib *A @ۃvT8g?"$E6Pr;LD` 2H9H,78Me$VsyM8]UbD$(~)TBÝ$^߈vnNt@>C[9FTL7nTxf,AT{}#xr4I1)]2cS7Tuy YVagYZ7zXZִF! #Uv]ŗXi%96é,@g*VÊy^CFPbrFB{B/Y +cjʻ}gGUC-Yͼ% 0~;Pji{=KюLؔ0E/8\A,It8RLoܴQWA>, S3ز>W,esr ڸ4"Iv d!.߇N -.+巷^ KVC-%8WHK TF:ժmYP^=y-ౣs,[sNIu݁6Jxd-[M$ka :23'Msvv|jX/dKI" 0[w#}1dq($5v J%m*Y#6x @, 9e(5 ȱ(pR?rN.,H!BJAKx*s#Fm9KI(B0&VѸf ZҀ S,^TToހCܬ5'smtqi2ݟ}K51| @vRl s<'"`mYCu<=n輟P H 8ka{sЁ <@+ W4Ng\e6 bVzkeAh\)~_u5F8Q 9Lq;"xRW;s=Vf`PgȦijf; RLV[v& D!۲"㰨.f Z{fd*hwMΑdth͌Uq3GhHoFVgYZa2bae6c152f00e754cb9ff60264eff828d78f1a0db03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 8485c34b15e71f451f9d9f6c3fbf9153443b3299  IOA