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 h3 tl ] Functional-Automata:threads=2elapsed=20.459cpu=27.132gc=1.220factor=1.337zXZִF! g]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'Ʌ*I$sę8JtMq" +^5w`*6F&ehU|:$j`9rL##|STВ?վ8и` K$+7؄,K/ʚ-cPNXIZ"$'`wYH{RlgVX-]3S̫36¦*z` B_R!p;J1HCQk.DG1䗍{q:Z˥^ ڢxKa1sv•G)&V(-鏣.GZj\9Mp7+Dh{6} q0RŻb;pzlcǤzJpE7pR ;C3=m!$0|Jr+yקeMA ֘u7pƋuR!جq[Qf[ %/za G0M'`'tK_J8pۚbٲ}.g-lMOn2MAbR0^bbߥ} e!!qՒl޵79a6}_T}E1?W.vaG"BWS'ǷBf\I`pŘc|Q)@J 8<Ԓ?C),Di!JxrWVLOSi[ޣzJl*$_2ﲐRnkUtB3v+pڌuu?`-V!|OY̏%DP).؉oWkC#001&2ʭۘ{bc-*kBʭ_,ؠl4rԺ!YYen{yD&HlQGH0$o prਏՅt3 24iWpBvv3pK8݋z[mP=9RvOdXt=׼*ӝre2I=鶶]Ͷ6t + M;$0񦢢2S)Bw|#!.wͻcR8w粕$hX#5 HuR|-U8j ?؊'gj i& y8YgYZff1540d057dd23c29d1007f9806c2ff03f2ad27d0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 3 Functional-Automata