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 , T, 5/ TLA:threads=2elapsed=19.427cpu=34.276gc=1.052factor=1.767zXZִF! h$]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ ^s9C:} շ? (j[# $,.9ep A|x qz#-yR2nN`w'q$({9^,&/Ic|ZVMҩѳ1?{.{> +rR[.`Ua$~q6h0( k" ,{]A&I I[>[W1Ǚ}QxD3'E''ʪߜrUf?R[Aqwl8ghӸC.o1Xa vR"Em(qgrjAQ4f(b 5a3y ;!OEA.,F1(45Y٦Omi S>H藇?Ʉ>Oc> oW9]e_${~g9s`{oy%vAbX<)c :11""gYZ7zXZִF! lT]ŗXi%}f弨p[Z_Ė.o'"EFpRExifgܧ*ۑ+vO6n-ei؍zhY;Hr4tegRP2cz5V2r^#KjR~W@ZQ6*E&U_-d 'hT㾨% V^8Pfs" 亟Hwx?.w:swn[NP+N2?5Kx[,Gvs,i&#؎رEHLVXZUHO-'tc{˟Jڬ[=N ?1J&gve *(g#rsCNY4Xz:yC*R57q`arΰnZJ9+hpyF p_vŘbX{og|ShmN9ہ4zuAޏDYkĮriށqfg=sS1FO%Kf[)nӷC1Dw>nP׻"pd͋jl_c1܁,hU؀W5`V2_ [f 0p3nL1|KW  e~L;x~v0i6b8+]퉫Ӆ\6n~Y}a)#C@8z$+kʵ@~=Ed\fٴ)tCxryP5ahb Qk "td5uё-Nh5a ΟZM2 vJP>zliz[>#4j#K˙_fo` :Hf0ljnn CFUZ).Ξ[ߕܚx -beHbrLjp 0El- ?EL{xumq294:&:D&ZӦ q W"^gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f  TLA