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 v Fs R A)nN~QUbfOCD}vSUXPCCC\9h9sAJi:#(5 #5ttPWvI(MPX]+klsTS^(D7%4FdkrӰ}PQ~I{66/: V$v:{cVipA/1m|-X}ۀ|JX“6N@d~;@JOt*#xy3ohJ 5H]Ǜ1Iu ;3zǠ(N(&d UbK6[Od^udjn]NL+Y*ކı]7FA gYZ7zXZִF! hi]ŗXiɟ9 i:4V;}A<<ګMP7&a=c@?Md2)"Vo: gWJm#⃍[xWltfje|y&/l T$9 WzBZ+,}PS2Y;%DzPgBZ]6#ZBT9@Y ֗8XYn#pcP%*LK3RM<]%`PZXfc/3p?;<Jذ0ӴL/qXҝEHЧo#b"ހu;y2M-TFPu(԰ij*K hlgYZ7zXZִF! ]ŗXi%;u?qbזusUu4b0Y6dx3e8RP twIp W"j^Eb_n>HzE):V,G^/OCgNAiٞ5%(Q>o((&eeI[0qX_}:ķP9Ogdo]⮣ ?w^%Ǝ#KrQ)r,jn4ВR d%@z6iv\Wǘ"#&W/`9YΈˮI|[y eeLkVDyz7| Q0 6nxi@R>ZM)R7Hu/u,5#FS E"j0t?05CX*I l0 EE CKpt]ݍ``E `~ڡ:S9س͉=^)e /~O ߚyx#!,Cf673phޭBQ38Í#im$ώ{lg9d[[+]G= ܸ:`6*5L6Qcv7hN%s["$Tv̌2Gm4y̿)NtT^^7] ZE5W lC?g1g&V;r;V0ַ4gYZ557982b0d06883e5fde081e7b7c96d6abc5e003433e372010bd93d78618052a88797c5afe4f11382 ad88120eadb197afb04d5b078735d4fc48ec6cc9 655b3966ca6b1dd927371d8d2a1776a7aed40889   ZF-UNITY