SQLite format 3@ .0:  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  J54 ]S SequentInvertibility:threads=4elapsed=41.665cpu=140.964gc=12.188factor=3.387zXZִF! :m{]ŗXf[&QeQcUU)Yÿy?8}z/CkaBި陆Lb!"eNbt쨙^ /pN`>i/v+}?֣mUGaxBDg*Y޸2]F=I n<Q|'<6+奺Dntz]!xf"A˻B#MjxF/bF!]=-$K´y"fL-K rf,R7F7(=N[ƛo)nAuFmܹ Y8>W\n'E#E܎{г`JF5<ڂ3; ~A]HϘ:'d|Q[tB<QlJ1V<Ѐ2OC5ۃ3:/k $P "_cF˶Z^a@TWb)F84p@6>XhO|>ZoYYBT,ʖ)TMzoiZFGo %S猹]/r;1//Ā7^.2*e:#ޏ1 _' U*/^\b-7& }_ \| e9uo;) ْ֮LFA:bU\74n9{2Q|An3Q ,f.4 Dޯ_Rမ^!Ȗ꩎Q gӄ)j7 I[2h93=:3׻pqJ[_ `hzBCb8/lvѹ]?I ۸EXc6.C-."㋮%0 y>=|DJjer7V\}3 7oNBPgbB]`0`0Wc{e$F0:WǪG^r3vPEG%Kq%$+&}ݝM/B)z_VSXX<*9u=<]60.0OŒ0[d=  ?f hNcHh^ഝZH?}l" aA6@:-}ϗwJABC5^D za}H@ OVOM#0ڇM vR(9kM+%i>F'$+CXG{V n8T$Ywx@@k=Df_,T̶a`K[W ^*D`jшAzk˜% t5ѱgYZ7zXZִF! ]ŗXiɟ 5 SequentInvertibility  Bܖ& 5 £}ͳR:z&׻ru|FЧ蔒 ֞$6#RC[Im Xqt;wgCvLV L@ۄZ`EQ`n-2MB6M5|Z C~ˊ]EZ;oo鴬CLskj0BAge m8'ȱgYZ7zXZִF! 6]ŗXi%Gk-s٤K{WnߩՕ갭bePC q$n8~XL5%dJ&kgYQ' ʺG1^W[0Rv<:&pt7 `tMBAϋ ~ÐG6k4ɬCf+7~JdU(o|G2ᆓ[ }7ޒ(W$6# 2qN TAeR%@xZV| &R4+X枛:MCRiҴuz<52=Ԍ[:;)F~o4_I i1&sD[r$zmR ;Dƫa%љ&BMJ!28>Os崙 x \_[ 5Z晭A&qk:Z328mDqٌCKSc!4|&V@])ZcAί6SJӷŧg(5, mCU\SYT'zY2iL&dmգ_Km7Wxip,-*Rv.O`.G`?ō)Mw}6r$y벌2.V2Gީ3/GO0mG3MB.6,mTCG/t%:] lSE1|!Hb", =v}ܓ9)"W2{R`EegfkɓVI3[m)a>ɤZ@#b,#^/œJdi7#ӡO'̭ l2yTh<6qD2RG{3o{#4xyϡɉɱ@=.M8:뉬U1H# 8r-K2. 4tI@֬0(:vaea(-șkgMw8:\<cywy4_bYI*'֚Hngd^?c' i 11ޞKt;9U$q:V4R?âTu슛5tjDofAVƸ B782{_>`FͶLۄ.ͷjrq%$# m|ZױHީM?qqͯXK8doT-hꨝh!@SLc*`% |-6+Y@_7CMps's³x/<9*m W |2}Xĥm f[,C0Dr9AѬ'~0&gWtiNs ]67&^\AQM82Ԧ<@jIMˌA@S]Vw Ɇgȡ X*e *k@X7h)Vyx6%d*ָF|X-_SQp߄BH%5Ǐ>erԂC!V<~kf2n;ix h¤:Vay -0WYA_ 꿛чXsZiaMD^7DP;jLNM>UƠ={ BҖu,lEmzG*i%W~~Nژ.KpD?4R[λHܳPyUc=>mpՓa}gYZabadefd5a63a9d0640e51213bc373c1976567c444b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 1442fef2bd08c12a690c30fcec5d963d75c39fe6