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 hI | ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.563cpu=20.512gc=0.260factor=1.007zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UI m&s!HL!4prn#T;wI3fbtQkaLūpgZM.oOKg-*RɩkkzWL7QXN6;f-D`T{X5D˪ԼW|+m4Cjw4 >'(/^W%pȽ?' 3ee$edO^DŽY~ 2ͽ2&+,[^\DH[F5'0pz&I \g{bw+IWe[n¹#pm?BY2s6^R^vih:JO7:l6svK} Zуa)҅(h#ϊ!))҇5\#(}/sQ9p }Y)!6<:<^_)46NDCCx^]*6cKއnʓRYF= mt~ckҥͧeρlŹ"bZޖڷ݃jfA]<}W E ya%;uhgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7cョKjf8~͕ fz9 @ m;#1羫drAp@Do@c1&r`up=AҒ:6djg*9zYvWӪuɶngYZ7zXZִF! l8]ŗXi%9#qulUizO1=.dcx@!jE|]W`9^ e8b "L&[TDvvDB+fQRq. xk2̥kIV|ր\t,kSBltb(I>8n^4ԐZ0&4'b.!):'7%qP>Utqa ,=;;pk!TnJ6R9- #C4+-8cD]}`󏔞6׼D Eƭl&HC :癮^Ō=7( 5yR-7)SO0*ͦjKMU:T Tc\Hŝy=3&̉,df!OgV@3 5AQ D^+~{Ǵ,`Zo3ŭ@T4CfO{sszP82xg=M.KZaR$rˤ0䠒 bkwdv? 1xc"Z9Y nKp| b4PA荔mTvq$qs̡,)ZݦEP%ߏt}/R/{՗ըC