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  Q Q$K 4 ]%]Transition_Systems_and_Automata:threads=2elapsed=45.114cpu=84.620gc=4.852factor=1.887zXZִF! +f]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^al::<"Ahř5DfTX2{N09X(khdbAmQ"VX-0#ےQ1RA IU$x/#ȱBEasgS@r6`w &"tjM<|Cf1פ3ioNN:~L׭.fzu`(-}>"):,E:]UϼvmSOCnS>k00ق\j+ V6NgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{i_˖)Q~UI*T^=եX[m$eO o h>c ®UtQ<z#+Jc+>N">&BgYZ7zXZִF! y]ŗXi%9(R 7rބH+RGR' F*S2Ba޷F7qԉ~b>Th@LiB,RzRHb{dp) i_|xL1Ég0B,{0b+VܛS;><}HE4b\2#}l&FD+%$Lƒk 3i{}iN )m$!Z=l eCiew`D*Eub)m䆤pylJ\Y xr:PP?],ixUIJW>H.cLn88FLT*ﶁ/sm#VE@Y2b?$UΞk]6$P>\Mƹ<4 )ű)l<^ni No3v(#4Ddϑo5<Xph̾ +/D#@.L**3Əh ߹%g% /=5)*^ƢIXYvwoDL 0XO៍%kugG]$oxYoMd[xߵQ.U᫫,L{] ~hc5y:u `/(Prw4:mvJ!5},R|&y ~K֚{ % sRJ>yu笢fHa4j[.D7Xk]xYwc[Eaѱl:6q&(3. O_T ]Bj4<,|/Ҿ2lp4L4$(5%H~ݾPT 2 s|b%+6_'gkG.P^R=LӞ@ngYZ4376d08304aa9e5fe2ffb2305cb4199c17a6cc47620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 880a11dd6b6fd6ba3553e480b625ce342734f11f 598caece2381f7636be86fe9c69eb088df99b446 d3799f7491dc7dc39b40794307e366b2de529542dcadd397b3e679751c8df06c9276f3769ecb0def