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  + $4 ]/ FinFun:threads=2elapsed=5.754cpu=10.496gc=0.576factor=1.827zXZִF!  ]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pǥZ_2'NrU:{JG0*Lr.{Bzj)VbJC2~藈WeSbC§TO`񏀞x"./SDM)'qn~ 3Bރ{-ǃS)s毌鋗9oٌ "< gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!53E9{1Jj} ُ~'`%~)vX;4܇sd?6]eL2dUOcS": fX,gYZ7zXZִF! %h]ŗXi%9#rqydֱ// D`{?=`ģ]tS]pRWcqXnnl]Z{A8fgq,%.l;!y4 v{1%~XAb zdDd T*ˇS@v j0n ;++)t)*;.[M{KY^pyȒޯHn?9Z/"SUds/*1,#{%S]4UH%`DӀ;(Wα_,ؖM$.@Osnwn Īnv/5]M5H3bIf8H+l}>=i)"=et򅹣Mpp͆͞f b,@XCгl^@`J_N3*ְf4l 1UV֍Q2ωy†420@(LT* $$?o z֚#biD ysヒ=vl r]ݭA4ŇD]Yl$κGv2BĀ(ssWl*!:NyZS:a'ʢѪMTPpS}}fG_"2FwC9n@EIa"^A%If-L vS LΰEJZkgYZ81b4c92f25fc3db795bf28161f5fada23d05ab6f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a   FinFun