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   {/ <| ]S Liouville_Numbers:threads=2elapsed=2.216cpu=3.428gc=0.080factor=1.557zXZִF! C~]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( C;mA@[gC&utk(>GڎwecgYZ7zXZִF! X]ŗXiɟ N(#Robq#![FRx 3Dܝm}4Fx"5 _uYzѧm:Ƙub|D(nt {}3gYZ7zXZִF! 8]ŗXi%93M[D`#Q(y.E |F))mi1"QE*8 5UrxR ´/ɿ hۡ0SJ%x5 :fYJ( ,LfeiКѰwdc>Džܙ+oq6 w-TPC%eT~KslԝS]g6GgZvgl0= +y?ǧ|J7\l{g:^?FTx$dT%ixcWl;tT`ä$w|̸#LxMj(0Y: rx%L7D^ܩ]VBwƎ.u&o[uJD=8y N%;l$ar .3Y+«{z,TY'*?%Gg+i<-wXf;oKA}u a޿Y& yd{g͐ `R'p]c 2];tbs1 |r3 lgYZfb9e3dbf185bff7591caab6fb0c2db259e427182a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 fcda9ba59859ac808af89faf9ccf4f1165eb514c / Liouville_Numbers