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   r1 $$ ]/ Finite_Automata_HF:threads=2elapsed=19.780cpu=33.100gc=1.300factor=1.677zXZִF! I]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'0;!UuFAȮ,nP% 9Chע0=%2:Lsqu;QTEm qNfnSӑA׿sh2RTLfR6q^d9Ph씲uTEzWmDMpZ~ 6%h ;7Kzy*Asl!PkJ@EōyHyhG0@-39jc_7`HqgG~e#xTؐ9ID; H)ɿկ7.^~DXtkE䊯a.b@Ns;{$U? 86I0;)RE3VbTq`'a!@ԑ|Ұ鱒@!ׂ#ܔ_R07Ym 絉f8рwFEnDuGA ,#wWg@d8>4I;,6aM7qe( >U3  . 3k߿\*:jGSK;ßHU\\7iqb N.ձgYZ7zXZִF! d ]ŗXi%6Atp,NxW!hB[y4YLüo%MNgcG}` YeaYywFcLx8iߴYκn!8•Vc5d.j*Br-2aoOJLй=w8X ~Yev }8 fĘT__ N.+fJ[6Dۊ3ٌaD(kr7 MU 띿$]2Pdk]cDqH$z'4Xz^7+Cr7^> =7{sL@k4Tud`vϞQivԣhׂ3۩Zn3 -0SN]9=O5i<^GteS [aRʺ$ .##:x e>~j'}Sv$yF%]H y4UgYZ90ef7a11d8c70530e191b208c9b36e0f40c04b84e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 1 Finite_Automata_HF