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 ww1 |t ]/ Finite_Automata_HF:threads=2elapsed=19.042cpu=31.812gc=1.196factor=1.677zXZִF! v]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj' S. ri}ȼ8ڬDH_1#3y g6{si7j_GC|@- {GDexNPq`$ڠo$f}g嗽;iOS1;F%Z 9[z)6I L*؜LW  W3^QE 4Frg}xgփ8l%[L]?b3(Qd1cKIv=:@-ٴ6 B+BI9{^fZ煳&eDvDw8,}ӭJ  ;oxu_۩sxsy) lb,hB0d\iEkBU*Mobr 8sW!ұi .JÇ- ?ocuEDK"+~Ĵ1W|մ*Y~ǐK3OtP>]:P/ܹz7r봌ٗSfw]É;oXU:?՞&v>-\OF4#{B2jsuX7ߩ˯\rv-e\rqw?iC3,  D-\>#YuRQ%LO03lΤhK Z ރCb3j3OfkݷoJ֨U(Y |+O*f'*;);jCTP-c\ k "nZ,a J6b=n/nN*CϬa/|>#Yf7|U:X٘ ' +X|{2c#Ԯ 3L6#ŗNԢ Cra}Y[kTY9V S QT? ]BAŒ~)%~uQ=>Eװ 834Ȑ/+MCx hvsxD'&FCo  m;P 4-pv"kkU6Pp<{瘛hfRzX NL6$hI adtVd~^榎S)>7ti"?'B"GGɺ 5*o%3 PAf,]2Mbbg0m? nf`ˬApBkGN6Q7xwYu 9h(gYZ436ab48db7f7ec8aa66f473f63b8d454c5b16f1fe3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 1 Finite_Automata_HF