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 22K ,\ ]/ AVL-Trees:threads=2elapsed=17.992cpu=32.680gc=0.880factor=1.827zXZִF! m]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~S,( "4v&x{+9s5i!y&4BvgO;SW2S'Nj(z}`C=%8w?6$knsڋtvU̸- PY4y7M7"8ħBbzV'ǽ]#3b03=VqYל(^~Uz Ԣ/mAѦ.@~XN'IEIstA.?W)l$ꨫ[Y ,~(m&I˅roc"y[ ^+RE:yNH6((8CJHaǨNvP3^19 鱘9 XգF@ʝb\"c!,|B&I2+&i;4ZtEf([F"gYZ7zXZִF! O]ŗXiɟy)j sC: x䛖-i2;'T K2F$WQGcs=--, =Y6Iqeks`gYZ7zXZִF! ei]ŗXi%>gϸVSp+\#hnT6%fQԞ%j4ݽO_gɪI  l& UshV 9.|Fк;AlQ UYX)8 Ϛ)RA!XAvD bls\ijuOX|\̸!0/SR1~>|V}d"h:ԩ92mHY\hYp;2~$n]28c=x7㫗nKtMJO"{OyS;̥XGۄDDAM[CuzHò^O/W!q3ݲ &Z%\n Kh÷HE,t-_xHNT?aϧ;# CLdE5D7+rrƯ"UbbǮ-^EH'l8.cim|Y`J mCx OSkiZ_ztEY3peR!d(l(pHR}ME8;tp@i#< 4Ӟ|(o AE%BEAsHxYFqgZkiA-)þ0Zw^cŧ*؍O;AGB:ӒTSl5hG~:`A_0sD yjg$rXJxle3Bȑɠ!#|eSo"b?͑X[BWB1?RM3-#ՋG͉rn׌Km ;_9lqSkSpqxŇz@<]+VW @^z?N4MtWζ^ .sG1`G+#3 9ݩo֣.I{t'#1 f̽68c,W׬f^yuqrḦD/ePӏ$XCo#s#4xo_7婛ɘ8x`X!J3ʜ9("gK5G uf 2s['O\:D7:F/l}NJtYb[SvP/{ k@5EYRӺ֫