SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ) LLD ]/ PLM:threads=2elapsed=33.299cpu=54.684gc=2.080factor=1.647zXZִF! )]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO <y(Lַә$3ĴQq]ɯ_kRr;Zm_*}7t\+,=YO׫ ~RC-b+ܶAotJ*K!k8f+̺-"LM6j*ޔ*L-Xm +wp\/قlEd"J+Q$p̣.x)z7xy* ` I©fwfj b @!H[ap6{bM&{tj !vJJ  PLM   !j|ǜ\b/wO;#1TddǮ̯X.)}Y!u[:Y;xҎI'V}N;D.Htægɔmv+ jѤwRH#ag%ςig`@URvz_e^)-hXoC;>DI 5oSl3>W?ƠFo/q5YP6hVZz''͐NPDa&4"!>8 bh 4++'s Y-i ~cʈ#*;lwkk '&w,Hqg&"@_ NؓWʆ/$G<4L/ KV&Cc^4ZqmQ:V|PQ-LAгjT]H %)&j˽wQ)s*dY8bb]ՇIr}0F0X)h-gH\&8I{ϯKӀɼ_ߑuI9qFSp]d=piAggzXHw5AI4͈)dԻM*^`^6rc)a_w Ff Ǜ XҠ6926E,|?.O'C_Ds3QpKLѢ2 {'=Q}~o!>1Zc:$^D3$0c" >3.{O u,98'?"0gpf9̦Z[/3IJ Gbw9 FZ;9jH+Eͩ&ٜơ$>~Q.Gs[N:)+y"I ~qUybZwh=Z9!+%ErqdbY';S~軒ĝ7[i)QB!FLn\Q T6ß}R8nm7r bgYZ7zXZִF! @ ]ŗXi%>g[<;BqsJR.^Y㚠4a/M4%#Ia!:@/h [=%Msy .`]q |]+P0xO@|aETP`IkDn }>;ɖ5x?\#Na 9Ėė! ,|KL߇!:rd`L& /Czx"Cq`K+]nȓЫ,1i !҉ѱ:8#Eik-fJķi^i-'M=&NsƲD,BPn mvDc nN3ߏ\ciY'2 4' &* \Io6`Xg?fq׶1JfNz=@:>"``)Q[n÷i% {3X+XSp+ 3A t|geagvdwpq`r"l%-8rVk)1o -" "= )ol+,rU(r2IfOGTFT)O[J7xhK:CA 3b#ݳ0 œxs<w.W~TCuWOOzZUS@?kz^ٞQ:ks>ƪ!3%뗜AtJTɓFYyXix).֭:xbIR jwĝ1S f`2a؍4o5(*R%?>OtKńi\QCP%b֞ډ_|X:xCeL˔о*sn& 2ctU7~t䛝ۯ V7RCE tg1Ҹ,\kfvp QyGM V/MEi1{ř:dHp8uRJHx/yJʸeU`B7Mg31͊F$bp l^YU AAˋbY?E8eJO, ]kw/Yoz2f *?bwB-c&X羙ks3"'TSpYH' u֟F[ZВ'{7jP/loO9m wj=Hڃ2[FRu۟a+uI%L,%SD`@5F]f8lTIOGtoƚвiJH=Rk.2_-e ._j¬_1Cd.Lz%]g9 pt 7J.qm ng(U'{3<Shez8CK'=@(BzXI_7а\aq9yH,#C &Z $*MTL~ETPIS_d0)G'f|o̖^t>1)@Sp*>@h2Sq2.9 ` ECe}jhGI-E:t-Ҝ*‘W%3/ʽ[Y^r93[^_38g]Wf4-nm77SQCKMi s2&٫zi3s 1os\_|Rp=V{ی #- %UUab| f@@&8Y?XZ@MZʕU!:K)^᪛UBw>U@j4^aKXǴ(%͸tx~[x9sCy8c1v:BtVUTyMEɊ$_Qᓦ-yO7D=GYZE/KptnC8<̂}-̜H0N%%AAXh)7XE5߼\UϤ4nmpd?dxЕnMu)eeʼzw6,_L2p [0[`u7 ɨDzjVأzH7L6()9eEB?1y"t_U>[$NȢ<VP.O& _N#>LBq輑aۢi#XM nG&"7nA[