SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 4'< w/ HOL-Mutabelle:threads=2elapsed=1.434cpu=1.516gc=0.000factor=1.067zXZִF ' HOL-Mutabelle! ]ŗXf1-q恈͐7ӺV v,5w.:O_tvhuNq1Fx*r|6m!D]j:܁|TDeLܵ0nkgmtg(]~k ϒž}4 gYZ7zXZִF! #|]ŗXi%3DD =vЊc?RJsZ؎ydWKr>n-:GL'켰7vx8z@BF]6@S5{!gc&aeHN;@`U"ê!/Sp hmV/%$[vA#kO=eO N,ꁽf0.z! \sH/W( 3?d2NPi&-Kam Adox#+kџ9+9KY3 A&$nttXl¬F`I-EcboضͽX2IĦ|x1?S,/lg[a>[(h ?=y;;}okgYZ14c3540bb5127bd30a61f668d40891bd3ead84f9 20b8f4aa73219a62907a909a1089f8facc56bd93 291ffb1236bdb8ef0048ab956383bb70784c5000 695102bf5465b942da3a549ef55eeb213c786883 affe343b422c96f2db65ac34297b39cc63e1054a e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bbd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5