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 w d,\ ]/ AVL-Trees:threads=2elapsed=17.199cpu=32.368gc=0.724factor=1.887zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}xCZ2h+&oaWdGa}2vn0[66%zڪ5H7ś8)ZD;H|asGPr }eۻWܙ؂ tpR21}^4MJZ0`f8Sbk4u )Rso /.t C܍)ϔq2ںJRAҏ\I!{o?l P4d+؍̨ VB/mJttz=$="PMSsDɎicՔ~91)D4EojRLr!9r6Fҙtv' PGjWieɜ220 ?jOW15]JKb[=t9:lQ."w-gYZ7zXZִF! O]ŗXiɟy)j sC: x䛖 cپ-]L#|Ϳ[FjW\i{5X!C#ʢaks`gYZ7zXZִF! `|%]ŗXi%qQ)vF79-kkFSm1Lu*A:H2N7/qd@Fɉ[$ Zh[*-H->rjtwy9b/:> ~>q‡i!!)Sj{ϳ:C4f\ ;M_(NئqJt*pd,vٖbc-@,h!X!pǾQr/݄WG61"`8^jPp4np3+ ފzY\n6mvxxr;R f-lUk_$8PsDQTs#*,]{BH7 b|dOa=R5d#s낥~lEFjB ڴne덌7T[{$r 3ԁH@7%U@~-%w_ȁ̡h`C EӝJz"b7vduZ1PMBY79. ׳8!MmJ7{Vc /=)#I 5"xq0Ӹv OyG*ھVǢ!.>2PmW]S<:G=O@~r]ibx$K tQhNO# 1ʟq=0MS1 h鯱gYZ1115cb1aa20184106148355c12a92fd53acc511cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e   AVL-Trees