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 | LL ] IMAP-CRDT:threads=4elapsed=17.572cpu=48.900gc=2.048factor=2.787zXZִF! &]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb^9 riIB*GVOJ5/Q]i)},j<^\yV[؝l~"-1Yk4OR|W0Mei q)*ӵx8ٞÃvL1G &Yn9dy xѩ!zO&+qMN(KQ x@h$;YgL൦DFt65j! )~Hh"b שNTJ~Xxdˋ XJK-%c%u̩TwЬ x*>қDճC'E0h^i? HabhEcw;nY-cxP e tK#{ 7cgz[CnL}ISm&h|>^ Ifi g@> N?G(p~ڦc8'Nf!/m)5zϼG:HD63dvP>Ώe7Rzr`QC`2$S.dңrv'L)!$2k\~Ek0|Ea):EЁE[%YX]RFϖb,f Tn0+n7%s8zH0ߍ /, ZMŔJ''xq%,T uCA@}wmG'r5 ,az8=BS<&U6'ތ+;ި:#%~T| lU@2(Zȯ7 ZP‚˴CE ˋ^^$+`ȃȟsbMPDgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/^NˬӽZ:F^+ &}{:ϟU#gFpr3`AôqsH)!w)}9X$5b,=\ %QU +P%ogYZ7zXZִF! u]ŗXi%Eb⬗v"L֟k !X.!l)oy*gRjug~G Xzq6_eUC*.Texw氼7"n|'_EEsRN&A|Gk` ]՞nڃn8M 4rTY8X[nioۉ͓1Шs# 7? ]LطUZP<IcYS&;Ώs1#M QŰaAmK+Fo}qX!IȸzK!t|E'?ǜ<{I{7}pF Vtb컔cu`_8l+9g,2'(k-:l%,^,8a! GB̟c{z`jp RiG998.8VN:(;FSp0hH)Ckt0GSlA [8'B^G15.hE'V,B3DBxI>FlӦzMm ٨Ȏ:.%_n3H8#M6[XXQhP-@;>Fb2:K+#'J:&/y蕲Q-[?B;a ?U'ﻳ?yKqC芈@pc˅cX"ĺ'f 4[7i-Q1Q.s (Tm('=r,1w% 6 czi{,B}0>buxJxUdI6|}s(#1I농̫COcFCuOhz(g4+xp{qBY