SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 " dl ]]]ZF:threads=6elapsed=13.684cpu=47.676gc=3.108factor=3.487zXZִF! j]ŗXf1-) enȈA"tr-j. ZbNVHJ|@J! .M2]Tnc; Jr:*%&GP*[ŭw}P 㝝7Ql;-!g(J(0_Y,䯺7@oב-ښ? Dp ӝlb^PW}CrN?~t ̬w=fK eP˪k О̫0#>{ xȳ-AyOwa( ye>Z4[$%j}ڒ:QJ`[߈,Pρ(!0._b10zs"Pe9hip5` "N8agYZ7zXZִF! 9]ŗXiɟ 1FE`空(qAEE2К>Lt 2O:񚋹$-Tufxn 4 ky;)ubF,`H:mO+&by6`9u/b,tn./| ބ#as7X9F,[,8A~D""%֧.5:-pJW:EQdۅܿ.cMA[,Y V5} 4,xD  2mgKqgYZ7zXZִF! K]ŗXi%B YM DSgRRRSm0㜞X)h͠S^2ּc޸UKm(nZue&2;'wU5f Xh!޶rEZnD.k2^PAE8!̻ H3&Y6{lQ O :a6ȶwvML<? z5`(OM_rhPEdۻ'\{hJBgf||0a MA,I,۸UwyH u7[8:;3yVӬHywUќ4飯uN,cb4YbA/3 2~S./U ~6,hNѕkTU$!R\Ͻ^rc0%^jgcWz䶝}}yk8R̟rDW2XoA^3yV2]g:owߙ#R7aڍ7z-5{R uDu 5<—21,(2C=W#!c_ݦ'⼫gTM)ѵ3yȉ{RC9[ZJ4w}x44e*DbS.mĐp$LXExˌcM]S o|Fo&;􎉆4״yMᙱЈ-:)y9y ]M^##y[<ӓ?"i‘]C)ulI%: :c SN*ӿ}R6@LZz(ҽqMS\tVpgu9.ڮ.#2J*^ o^ENO ,{LiPtve\6[5DItw*R9̯  '3&&8I:`>j|m8)ʓ5͑63x W%љ)ڳUf\6^?Kv]ǗgYZ44943ce81d6bb0449678aa754cd81821be3d930ab98e21abac34c1a5ad8cd46d87921a4b76a512011ef4df188922e0e35b43ca1c449b278f2086bf87  ZF