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  > >? D4 ]/ ZF-ex:threads=2elapsed=10.579cpu=15.516gc=0.468factor=1.477zXZִF!  ]ŗXf1-W(TA)GdJ pgD3?֯2hkUYS<&xsڝ%e*!u*85  aBl)!;GVt(Sh 4zaz/(xuk=d`> EtgM W17ar2bo 3spQd6 ]dz$2ޖl⏸)UJ~D|N?J+gYZ7zXZִF! ]ŗXiɟ9)uysi>̭ i{ R;mܲ pgP+~ʗ]+x[IøՒ{Ks]VNҔ9j0Vs1Zs<䷉y٠xL;H_TqMt#ekL'9s|WKJLyM |"60F{udxc/=IggYZ7zXZִF! 3}]ŗXi%;P C~^F VNHv ,n*wthY  :Xr}+"P#XGYaWt{m_GdXpHN}g$iJCҵ#{viE|![h51`>5^z_NkO#.¨Ő74vs="ޓU6-Ա9ZFq =f1+$2aC|FZv ?څǼJup~k$?ՇY4i?p-w{x9.qL0e~']J"FڇIl1WA,BDe#ӊqkwү(Q9e{R/&ѮBvO9W4>C$'SKR9qh2?fO*rWiUYRa8@C[Y]>yp}܃\Sݝ U+6eS_k6 \[?g;SgYZa63ee83ab886e552d1f5eaba04a86f5bccef00e94b2e4ef84f2f7c72f1d619e9e1af08455389b338 41e65c246344adfe660a1912fbe78ce79cc96f73  ZF-ex