SQLite format 3@ .  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  n L$T ]S Lp:threads=4elapsed=26.816cpu=89.688gc=1.192factor=3.347zXZִF! *]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0PcBUJ¡8j\|yc:v} )?[ m=&hS7 j+ =pe" aT[cbEo~r"~ 򛍠W%| Ig1^qO!vԖf|Mq0hۚR0{ZTt.LDx ך(*Ȧ7. j`GPj4u^Df :#l8#E[F#X;-amo*q|<d@6EDzУV8&-︼&4BqR+1خ<]9$i𐢲m="P/eNzR.QnPM鹺ڏ:N8@_G&bߪdr^?0":J擨3CPG3uc"K +ԭn,y  Lp  L*dBK#@OL?,jϖS /ve0t_ m* aDY#GUTq )Ҩ!#>QWJi٠x^q*륗Z=S%W LVjc5+CۆߡPJkim6+->js8 %fzrv!LbΨ9@(Cġ 7K IMFG^n] E0Yt >zyP)n*ogepALOr.ƒ{ xʈ@9|FɲW' O+/$m^# D-ۓ $5uJt`f}gt3(?p@7ϧ q8e=7a]# 428\}]`5U|ٿ +|S`rTl6໼OtyHߔ9#vYDf+ĺ軒TpH= ws3CHv2d8<]v1?i(~ '` Ӷ8IG)4eH_ U>4gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↄ-9YCBU;AwJƒ">2D$l58?y9#񨬍Gy:%>hL[`t/-lgYZ7zXZִF! 3 c]ŗXi%B =פiOdͷ|o'ڇ)?ظJyɌa꯮sgEb NNV49Fi¥zs8vC]ZHF &O RBɖy 2 REɅ|\KDiVePvTH)sL؉ cC$ZOƲcxAn-E"|6>c-w&mM6y(Jyrh}R7iu拿>O Q5}8O<8MW 94|"&t"pt!,QQ9KfUi&sco_o9L/m"m G#$JXj°,ؿ?2J=^ \ l]ZJ'~٣640ݱ Pa dT̽R+.XIgB;f AGbm"|q`ſ.^hXtƮ6Q.C˪dD8mR0[Et1{ ګ*`FءY>e!nN@ tÆY`FU?rٱJ#G>KTIE@e1MX#)ju(,PuzK}U!Xoh^΂ֈ&xu\;$XQv=y9?E "hVɉ 縆\n +6ʅy2&d~#?;0Z3 *{#Oz?%_~G𿫕"jb7qSA%`y1#_3j#K>Ynl;_%y!#q%0}z;OHq?\ -{|"jAn\/ՒqbC0ot1)K1ش@VqXZS:==B?5^r\,*Υ[11:4ex7<&ۙA%L+H`FZtu̻K7W[EQFuVDV^G}f2g*zt0y` 0WMVr752y! OMi%ئPTg.qWjޫ sUWt* vD=.3.glx[/\ਜ<"5wd)3Ԍ;a Mf(-DN7X | _ܴVL*&Uz+6ZB`ZvE̐0O4f6%%g]m;2RGVXtT[a`M >& 쑏NǤTXW7#9ٹ 8M̀l|XgR576)%h8۷1<eיӃ_4,IA8e͑7g3xyE(z2^xw !W ?$K9 ˫}UK^\" WKzztіEFWtb4O^0ʾ2/ؾ "ҬT2wN)K:XOư`հ/sczZl^o-$5ԫb-gg jvlvi|-k~ߗvDUE`Ij"ʗr.bįDp Z_Ub .PF-"z`|ȳ-Qy! ?@ G=~.&2'ߏg?"@u^K f!y;R*.V [,q|xs9ސngIDH&}n:"鹸6Z .Gkٮ m"GƕT7svY +;*Oo3Q(TV'Ϫ\ =s+Cݥ`n xűgYZ87a4f4e17c444af4bb8811086ae88c008be71114c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9 386744bb6b75820dd10c5e18faf5c4419e2f36ca