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 ]/ FLP:threads=2elapsed=21.151cpu=38.052gc=1.168factor=1.807zXZִF! l]ŗXf1-/6vRZlh[j^iWrYWrUGP2.PGp\%JuLdB/.Eّ_Ŷ60fG<}=Rctw>HŻp7Hi;)>hDt$Zg?ʅ G< Yng,r!Ĺ(Nj# ^:T#%_Т"<5p,mLK4hͧ庋6aΒ"skcyS G~1E8(zKϜR ɤ8w#GNߗKxzpi)P~CxrH6.w!8K L]Ҧ50iS?OL@v ӝ%1(IPa&j(p.WI.=8?伿ȀLY2אG 㞑=V&rN,}b$ ͓GFDĘ1KIe>p! #_|d?.CR:(9ht? ܛYD=52 zde%ʔQS}h)cfˢf{'3w2ed83{*֋f8\^4@*ٍ(+vgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝRL3Iu쐀9;J9`!'1̒i = -7V2"@[ql"9c&Jtߓ}AfO㵨%oT.b)w]3,mzxOW9 FJfgLjgid*TC`.gYZ7zXZִF! swA]ŗXi%92I^[@).l 2"ud9d e`=$wgrQEm,F7Meيrĸ!L֡+3 ncGBcksPA"{U)ܩ<Y#W; @.k+f-jY@acπf1J{*+FwUuOY{sF\zgSЅC[149R&0M v֤6iڶJ}s=S'ewټ;)Lm0Gg[`,/8(%|n{ &F霙);P$f`~,j"cݜP@5w Smdstm5s8ϳ??iyܗ۾#v \(O& Lijߢ[ID-6m4׈ʉ,07m܏LlKm.iݧ=Yj $Uy%Vm` P#% SQ}K ~6DB*2e2.ke;CKOxֻZw/rӸU$ BS󫨣xiB ?WX^.^u &nIڛ*[fZk\_c=oN2ehzgo{( l dۂ([?ԑ*cq%At\ESoWWmw8?jN[o:$׆~5/uԚK߯VRj)V䈶t;/!~Kj5ɛXNKQ1M%٬mmD 6_gYZafd067c73b5bb630df560f4820d536f8ad044103bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77  FLP