SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  Tlt ] ZF-UNITY:threads=6elapsed=5.877cpu=31.000gc=1.348factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9:_\9s4 5ޭEݧ1y(l(iWI1,odֱ (|laÊHm%(Pto1Dg!f?D>vR>lכ-YL.3J=[HC2@+Q]^3F1rCN C"Xʾ*dg'T>,CzuKԕO4mj&&2e%dꗡf߼G`Jg w3u(ʕ%3:܃59+U Y (R]>EqDٓ|4NF!'&\J,h)CCuVu0P %%X1ה:3YIy^CZvA(/lqeC>ȅG"]Gz@*y@sTUݒWbҫO_-M1ȿLj # t1ty)pl|%K?%_n'xtۢ @T-?ti#E*`M{) & 44> dM1WqP+$lﻓGڑ]TJBK:,.b5P 1c, 'Р6gYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7$P`Zu0< FҀ|uu` DL@OyaԹmJK~DZM *A CMlš/8mBuVxai0{iY>9$M 㼇t!qQ] m~Ts >gYZ7zXZִF! 3]ŗXi%>[#G(/V?DƭzzѳKC%N5d'U5l,KKI0+ r?I ˲"Ü2\M乯Qz'-r{"Ϝ[=9k _#՘Bx3O"4v b#+#P7q.S#UqF -DIjpb8+u34^i?qQ#;U8F"瘹\԰l(N(#X7/]ujcZo/s iau d1a=kN  ⃔8VI-er.s,';QϏzJ$,M f[7Fmzٹ##Yeҡ#4 ,'idBsdL1D-cK E?"W̑ \:Q(pjX $"hc*|3(:ڹ=tֈ&rC.Yd1tYC>̟rj3I_jz:Ƚy(pPJk5rj]fLD:t@NcdeLyEcW䂶Hd ̈]x[a#a'~z +fꗺiL_!)b_#g,HL tcKL(ڡKZrd}b)^iJ3ݬJrӳ:Gғd/= 7i ΑLjVB7PO):gYZb7648e16c8a68e2da5e3fedc46256ce280e9fd152f7a95ebb0ed245614cdc5e59a663000c01e19df 9f35879bab8efbf51ad8adb711ff7a66b7562a62 be23d1a36ac9ce75242d45a405ed9a7e48be5cdd   ZF-UNITY