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  ,L ]/ GenClock:threads=2elapsed=3.670cpu=6.268gc=0.108factor=1.717zXZִF! m]ŗXf1-/6vRZwE}%X:!:7^xqlOq ݟ42^9o+TY%xԔ1roPM,<}c{6Rx]t_̅N_Cp2b jd8Mq{yp_"G}4@ u'4$LJIwgYZ7zXZִF! E?]ŗXiɟX/LO18#jS:t5dyVbD`!0O2k[Fv}YZ7zXZִF! "]ŗXi%90ù'j568Ą eQqy6#a9ߞmb: kOp,OREC:JQc5g\)8+Nل#}`F_=Hi%1UpKmjz"1yn-;W(-C M(:2簜8-ɏԒ8P) PB{ '@qQd}UpSW "kpk$ȦTŕ7}?x$l 4#M_D$|i-qXHwIR.Oϝn3,񾐞mnCҞo;'dWASWΉ\PLoڂTd 1Tv?9"`J}Bh@m/9~HM -tjˮ %e#Hux&}:bƤNnlUX%#c0c|0]J1ԶV>#nSƜa 9bGt=`~lhиHPwƌkXYOJ}}ɪaNTnsY0r'>U4VQjۤ*fp@)@PG\.0Xuq}矢#&^y3(Ng:)%Md2mBD}+nE;gYZe57bb88db0be5c27b40f644478b5119a29e1bafbee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198   GenClock