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 + | I]Sqrt_Babylonian:threads=2elapsed=14.693cpu=23.468gc=0.452factor=1.607zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02TF`3yp$p+y7!C٫z3^j;~idX)1+ʳw?yub0魀ɛ+jyHytV &syT)S_K;|a0y gYZ7zXZִF! O{]ŗXi%6-ߦڹǎɃ DT**EOD44[pM]DqY!cqqyP8٨-гʅlu}#Bk\S =hOxVrwxHT0Uz E؞$$Ӵ}S6x?,\ˍm7#mˡ'/-t3+hGRlIsMW!C9[m6o3R7bGE#Et2}>e`OR͈0K#;J-u{bm;Sw]O$o^&D5ؿi6AAl/TŘ82iJ=,#)[;H\qVLm B{>Z"A]UyoApeO;x/1Ȣ.1uzTd#p{Y[F2w?/^S#(5ɅD! &/_/DY&`WJIP5`1EEX=F;U K¥;ʑq=2Ύm훿mzX?߄FT<}<,C?f*y&'!z)l8_55n4rURz/wRЍ`%SW PpsJuJ@1ץ6y#fc跁. #'@4xpp^)>(^}1g c,ь G;N+^`Ua.JQMKW>8arE1-<X-@:us'{K'cՀq\v!Q7κLq\Pܱ~J^Rz$)+M>`iqB]KǚU1%͕`"7+R{`8abGΞr>EJ* l  iPgYZ0f545a212cb2579fd93200014db1f9b0b841bbf8 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 7372831dab65a2016ffaa58ae1f3c890e16253b0 942048c211146fca0ed89d8bc8c594e9750c1b8d c0b968d23a82977de5c5376fdc0961634308f36b238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 2e77ccd1674bc5ad78df8d3d973a2576ba60173edb6a53e1d023790b553bb9949b4a5f49151178a2 + Sqrt_Babylonian