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  t ]/ SIFPL:threads=4elapsed=36.884cpu=111.860gc=3.668factor=3.037zXZִF! /]ŗXf[&N} wI>>n.|VLڿu@jq\\Z~qOFԴj)t@^V \i`H5IV+k0@$3\_鄺A䮹.SIHX#|$ɣC}Ul :G,]Ea.-LAɃR噻aAY#ȀL;lO_\?ߪџշ>#J?G&u+V3E6)##aocVzz.jpI."!{0g4!\f}HT^G^q畱TΣ8BaCDK66r. 0hXjػxUqY:3=-6 (L 0tӊBq^hs hSVq.x~fس\vUU&AB0n〣HտS l.ڼP/֍-%d}r|4[|.o bdw^R-#2;*;弨h zec)VC͈I 0l垙 `t{A3圔ުu?^oB8[lC:Jv:¨sp|^\62浩9<ʌUM,3N``5L<>|Ns>̂c2L#l3<"ڷp'frI9HKNN08eJ$Bva='.ƟD,'0O$fLK _StV7?VS9n=6`{Em=f'%o0+N B)YXI۔-_nUUCz|(ҏZ2tLF4To&U%(Zk5# Wf[ֺѶa`L3Ճ9 -@n2jos,<[97Q" {Lur‡Գi]xj!(L[`acsGtU8&k?.$F0bp,!Ƹ*Dz)xTד [ aOxXn򵋍n5؄I,kOB/[W1ԃ]aKAtucv=Dl|*y|JSڑL@Gc|Ȉi1Hsۓ ۸u ć5eψ(͒2U82}.<`p#U{-^CÁyB?vbA tvK} Jմ/ %u`}*$N|ტ.R~p,ŒT "pC Oce4zGx)vHI`953ER*5Qx,<)!FRZ,}L_h;:BeyR᧥." r>m xU|tK:dPc%;Iɱ25z*Cd,&Sr!{^1K3=za6K,SҁևdQ?y6H`!&8^{/h8 `^~^mg7 L(A\ZJG3'^ѸռԊ-Uy1T dQe_Z>$ 7t0nS*W1j)=KbaSAY-toaq~h˸$]hj eSwܶV4B,0kBO_YbsV~Q0$$O ̹-6;*y ^s -sh(Lt*&ڎ"-Zٵqn3 q6APcY]I}Nacv-wCvOw2ʭ 9ۥ^@ \tۧ=͠AvfsciEJX V~RbJt `WB7R T0LEaKB舋̻1Q!})I$Əj C$~bxĆ1MyB"[޸wD?nQ1˴n L[1Aт -,\nnؽn nV$~g?&1rOhz7RNϷD5m@Б#h SL)3j3R{ZQ8J õ9t)r|;ZUSmOTDB5K!½9㦙+,L7[QCS2-ׅ]3{6!92 TĥUrҿ/nо0mb߀7$1Ő 2u ̊!/ѤUMe9 iMfiuw6mi^[|+/Iy]?|dKێi`z'd u,+-j\z% dsS;VoD{!s#Pvp.k3X~+tǺ[L/7)*!c[B UKd&KuqY.bm^;5 ũVt<=(hȤlQ)2Txiz'7ϮW1* wˀ U&lٴ3B _by?W iqbH7 w{3׮ZEOs4*pEI)zovNdgRJXժ eeCjR؀g[TEK/)(8ꋯOT O{1b*՜`ɰ2gGU 9~n3k )j 4G6RnJ.GΨVҚ%ʞ=˛FR/BRI-.MLQѯI67?K7c~aD%:͆+PH~%K3W9o8ꔞⱬ[ahwRX"TVISt䇸-;$| &K%=#J