SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ee% ll S Latin_Square:threads=2elapsed=6.592cpu=12.992gc=0.184factor=1.977zXZִF! .Ko]ŗXf1-/6vRZ(KbC[ƥ;g˔'G]QfHD&ɀؾO me ǹxr՜?xc.&a8^l]Ix1/Bv 7(c fc"R]yb¼#3?ؼ b3P¦PC ~mCꫝ֫*+wCl$0(cicTz#7rPD[;vLҸ,Ltw SV)=)BVO :Hw*3-—ugr!mT`qC[ fQ*0%oQ(S躄uXw+ew?>Ȧ}tnԐq9Ks'# ,&za0ϲt2 }[bĚw-Ni؏LC3% x z@G{Nr_Pd \ysZLZc=%M)L2Ec3TAJu>V}tL5I&M2*\JH{ӐGiL"/yPkm \!9(v6ȎKhIRg&1 jfץ3L~ߏ>O %SLIRGYHQWh{3= ܁(̂s؆x?:lBΏLhw e vm0 8sU4` OOn)*v|UBuӾyRTC ;b$iZ$Y,ϓ?_Fj$ˉg1Pq |۪L<ZüW\j?\gYZ7zXZִF! *"/]ŗXi%!W έ#p1+HLwH n?"g&U-%IؤYu 3~I; mOTk)'m=ؙK#(xĦۢSEVsnv*nJ S|mP 6 m^8[`1:bǦ5Xh2cdKhF "w x2oܸbOI)$6 ;Vm)0"6330JZ;p44!UJf!W"EJJѬ\G=7-O_(@#-?B^A>D2BꁁB͐Sh}-] ۫nsTi&5j LSF ۠{UWo墆k"wOvZ)5/c,=noEGE5 {2@^vJcg-ZF*(onA3Ԩ5 ST~d7OBH#L[ soofLj[C'.[Nr\IE {$Nb4SX$Fxۈ=T]Qn,ComeV1 &1D ۳t0,Jj^r$HaWjqwA.yAIrlS@&cL{#KKq_ G[AUqkU6bݞD玠wB& z+ wS_17.Try6Ed 9 sI4gNv>??{=%Ebe-TQgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504bfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 a5d7e7b8ac7068a074953a86182f6b51036a935a % Latin_Square