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 TT)' ,  ConcurrentIMP:threads=2elapsed=22.227cpu=38.976gc=2.244factor=1.757zXZִF! /=]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcWg8gU6:yALx-)vv݄jf1nP3VSM g}gЛ?km͒&p=Z>l{zV5@%Lxoۜ ƓUm[W|hUMy3aۑ䟎q3&ᄴʁ%$. '>B p+[lD[B.'(JHvEhK1udᓞXV?,:{Q7xZB]1JBl |Nm`2rͣ.xNzhӳ^{5NN[0zd1vTgx"`0&NۃJltrpgf|7/h`(ErqnsGKv1Rl&`;7uW@7|ݜqKLLY*FuƖa+iI%DN$(4#A_gY -cub|>)1{X;(ʟ@cMhqTdq kԃ;dI eȯ+ȡ2N4rAb _Byc/.LCI@m?M_qBc"C!5Z?\RޅG\RjWc*G!oHQ;:ptfvW{!'ʋ?g'(9smh f ὎U'u, ȩBekĵ}I>F\));(\3[4bXs3Ԛ,E2Vt/w\y(Кy֓^o/ADnt2:Dz ͆7}sBCGY ^?jk"gYZ7zXZִF! p ]ŗXi%s췪QqP̚^c"Yb8N>t~;.a§;B:B! ];s{0ւr~*V#<8fP=JԿxy?@\qH{&L=cBҪOw;wE^uI/~Ec$ԉ?7$uXvköt@I_W:>rĂmt^;(٭ bu߼F_/t#6Z\˦YZB !բ*#7Ϭ O -xxmzmGk[i( h`T.G3H{UdG ^& `);Pw3[7O yu|o_[$_NQ@B\5m ?n׸]uJ Q2p~RF\zl]߲M$M-ˎXϴ#s$OZ>`_GbJe/Y%čօp+ p<(l ~ Ὢ;/Le6{X]%1TF\X rn94Iǟ} 8T7 4"T} m*么sɆĦR\8SI +j[I@ O0CcG\j4x28꯴uނZeG! Y]e ) G[?gX)$Mk|eݲvHs)_YE^+*= J,؇_Dž ϛ u>KKg76k`o2ծc+% H"xP-Cz}Ft'q,DT9T~5 ˼H~ 7j@[y$d~ur { URI5yw.w48;<;-*†; Opp\uT@J`t !NՐ.{ת+ى4JӔG'=v)VI-svVuB \ 3Ɓr 7K7l\euUȗyGQ m<Kg,#