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 _ 4 ] Separata:threads=2elapsed=14.546cpu=27.264gc=0.712factor=1.877zXZִF! X]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ ]|!"n5IʎBmk}@1Uυ~6N(LGedhCau {}&dҢB[#>,~oHH褄F>}JKp<}~r!;0fza^V*37˻Q Xg-dx*9-W:7^50șJne몯(:hZ}4k`,rk)}lP{i*n֐(cξ5߲'Wdy,@tK+Cח`Ϣ-\2IhgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoВsKSN׏ LxzA#E=xlG+|S C * Un(lB#ɃNĸqYUl^;jn~zN_|gYZ7zXZִF! TL]ŗXi%;3:5ye>Q0iF70HJ|lAU'-2\O0;*-ȝ5{F E4$L`n.$>$ 9h)F$eU |e: D S2P~'3*t@ Li2 f 'w-fSrXt .C+USJ#Ey];VE;@%HF7, !ŮFU>:ֈ4pIThԙ&nI}f[)ͱ{̪?ۻo5 ` ʗVR5F\y#+Yu;[Ȟ^ߴ Nj~x|ih-f38kJ(0tpnXV+Uwk6F l>X\?9GadY6X3̾EƉ;:np u }r^-{] 7y,N}i@zO$Ԇz:h@HJZ{ngfFɑ*` ~a"_-Wh5vΤ ~ uh 6ɻN`\u?S.wL(︰`XF7Rdk%dTⳓīis;ȍV=ړV͓šyJQ'GJU'o: ͨwfgYZbd4045b25e5f09672a227c8e8f497b9943697f4e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01   Separata