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 PP- T$ ]/]UPF:threads=4elapsed=22.611cpu=70.408gc=2.044factor=3.117zXZִF! $]ŗXf[&:sFqX`xPׇ!9Un06N@M6\gg>-FJ~Ҙ,tQCVy.)7[qGyS-TtbpeEvi3֬+ ]Ʉ?a`wFWEMe1:&5Fǂy)4 ƕ+T'X$mJB&uDXVƱ A˪hA f"3ׯM̭a }^T5- /"lM[a? b*nuD0mg,Hb;x~{/A dM{z16} 'E>(LP*$l KwwYXaA҅.@go2wYӁ=}$L1e֠^vFg^0ũoJ:!­5Y*SpIG:9_"HN4NƢ 3~04=4`.nw,eq9ӣ+Ҽ.2yDw:dj:kjws)I* *<9s0w omxTʄ-G/an~opɮwsivo~Ģd1 [QH{!N.֑лaBDBF1yF"E35'z:H܏=^7>S>;|Sϭ.=~1sQ~LdViYHZry\ x6x N4A <5I G|cXuUl F҅Ꮓ7ጟ?=[%&o37egYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sWݙqt2D䤣=' B# )w59 vD }}7쟚bm}nJ@<Wc j`v>yKkFPNtBƼ,Gg΍UD )KKl;pc Kf |-ε~;Ѵ$=4 0Dn6b4]<peAaRXNo#VgYZ7zXZִF! ]ŗXi%Eb⬖a9;4gv5apʠ\;ݛbeFӭo`i2/}n^1;mÜ'>ec7Ew6/?\;`)?[.]`Rژsw2+=3l"X((Y<#iG{@C{/Y2EcAמn. T%#w'C7H(\s&)5ĊHN՟FIzβH>vZbsBEZ) 18e c 7snI4h$Ctjt蕇GLʫޜKQͼBHm$q7d?ϛֈJĈ7i_}5Y*hF)D^ϳ.2U'V,Ə/M;z$Z7kK #b0ZZɾkz1u(Mzj)R[4"ȴ6yЖnf+2- @:}ԻvnwOL n/4JP j(}H*gPl 2G?Rza>U+]: Fs#⩺WW_ ݌^+[6$fV3po "A}Az>Q8cxQF!a*aMvo|&_tMSUJY\T!ƞX0CBeGVW99n ݮqm\&6i?;ZCS'*Ԝ67+MO+>ϷLQ "n=RRC#s Ī"AYJTW~d-"D,횚Y s}hRǥ zQ\\[ @1%w({K^ Z![,~6S:Ϲ/֙MiK엥/?GBBy3T_@ '}dw7>VdԆ&A~ϡܗYy d6dI~Bgugb*q@ofg q@.\o-f5͡a#8t3LiyQPQR(Kܿ1jʣk%LʌK$  XخއFz^ͱoƴ-t̖?bM[|kgN/6:[Zw3<@pL./ԙ j1, jwu \ޓIS$pOoLLK 3uu$I# ]ڝ}7nQBJ):|f`b$ҋަEH+s5.;$mbٓ`zq'rm%x|4=#@pb7/ih,, )sqpR=Fۊ?.wOiR$GHJ}OM3U1!1D$,, &}l; QgQd k.[Ai4Ce[6{])?tTƯ܆hƷYh8vźU̺cF;`&Ig;SEz7'P" jdjȢQB_[MᘇBIƍz=5lVptuUuzv]K8uBA" =Lbߡ 4&5Ӈ8ܼL֬PYk#\KAo!nsa +.N͐7 -o6s})>kl,Ѩݜ1H<*W np-Eb?81<tIE1yݟ}UQk$٥njG ;m/Ė$JcA@ ~!)(Ӡs""@\sjuvՋ4=^ǯխDmN-nW Lն$9:FgYZ97a6b6baee4d34f3653e2caf52fcdc69afa5fba187d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591ecce2dc3183d58d8cae5a1c786ff786a3079a8ba  UPF