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  e=t \ ] Tail_Recursive_Functions:threads=2elapsed=4.595cpu=7.872gc=0.404factor=1.717zXZִF! 1]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 WџC99z ^&4;K/罌|߿6»zXkƌ|-sb$&U0gܘU 8fM#H˶DTghef>Cwȵ?Uhu~Dєӵ4(B`8ńK][&POl6^Sp0҇%)ٓwa@xg(8ڱgYZ7zXZִF! }]ŗXiɟMy rr+E6IIkhzB&Qa2yb htZ>7S8؂wBH89R١:tVx&rj,UR3SP*+_&`=)O㥱gYZ7zXZִF! %a]ŗXi%;Nf)\DUTfďK6R]{D4O\|F 4@p<%&'/R^&~)oC H:UЖ AQf@Hn*z߫A}aeOdwʗcG̮G諈rge+[pN?\<`]au6tcޡ&CR7мX%fV\5U/)] cK4#ILYS3έgԱBVL박yh~ʳ*2ak JggYZ5801e4c47f558fc1772a2f1cf8748e8e171944e179d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 = Tail_Recursive_Functions