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  Q Q$-t 4 ]/ Generic_Deriving:threads=4elapsed=47.153cpu=140.800gc=15.764factor=2.997zXZִF! 04]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfP/:A# vyRˎWlp%Ӡ[wxB #?bǛÐBS٘(=/:6hlR:!PpNSJs`ѿ(oԇL}jÇv%Gl7M |VX ߭\ #Y$p6͵4loSlXmÀo\F8D<vőOuL=2Ϣ>wޖkd9f};`oW [%CYstR`)aфr$\:eg>hmU Tj l\Ӌ &А8f|l-T*6*PHrHK-kFWmr;ĄBϭu2H'Ո},iTmx|@Lb\ƹ]6džl8YOOdѸ%&lr6 {Ԍ\%RsZ1'6ÚNχXx]wYj(ef)C+fG/NȕF>'0܎gYZ7zXZִF! P]ŗXi%I oĞfb'GS0Zvp2ykFMXű:ڽro9Yh\y)䊔I0KƔnuL2D - Generic_Deriving  zLpnUr`v Z R^dVBE=TskN,qXQ6nc)9ys 88`zcF!dٚ0kDЀJbDË+qBEȦk#"KX׭K˯@V55 )q`B~*U@oZ"Ga:{ъθS¹6$+)cDz>IKcX-|N~_) z̉"QI:Z68AP')4ví9"k S`N!Ka|G~*hE,>]hGFD.RST"H:+/:ŷ5g+q';b2sERx}JW|̫+? YRj 7oy8qأ:l=nFfihpL'F@QZ}FM*Cf>໙!4-Rسu\M?8E (%"c)r-ET]Yck څ"҃oQ!&D2퍅:eF42\f2U.- RMXI`CbE&j+,C@aSc:Z (+F`%Mt*?x|O62. SghDEamo?=;&s ~*)gxv9$.L@kJzabf q]vT(5K,y0 SgYC_1H;gK^j*'xAkM8]nF^V{.4 ED"hvx 17]w|g.QØg-FÔ)RαCذ7 Kp~}1*z竘j]A 7ryʬ󴦏}^62]>D\3f{Z6[$bTW*VNPq5 {Y^/gf5df0'nS)#w59Ou[a=&q1n1K9%^i'Ok N.ˌ_Q|!{nS۳A{1rqR3]XM(;(rDpf }|<o, ޹ U®f޺7#}y!\·k]JeIXYUz됺]C0Z.ޟYo`7Fb6o#\T$@O_" qgywd쀩R&f| -ﴵOsG9YH&>G_B@S`<PVn=c"9^ "mi>[Y'"<8QQNGٴz+]*O/_k TJ wO GFQs)(9~B['m'4Kۑs d:ۻ -ps/ vMu#quF_řD1c.T(?v=]+ *dq>Xy#`:BG"x>m={oIw+{ VQp5]X GQvVjV8!+0 #ɔ3G,媦XGQ5eWfgwslRpVO !]xYMU=9`]?;%ߏ_J?A590&ąX, $hyf UQ/:Z{ g 1% ]v.o^7qYM4IyqyxFzHg$h7=}:' PړXÏPh)*YAba(&R%oֆRr5 zp?wEl?|7>dngjv˫d3x}wPc3q| 8|xb#9𡌆YOl-"OA@W~s\$2B*2nijZN|"+_+* XT~UխgkSxc7#L:w1F[fڄ>*LSY{lEo6_ y z_)Eٝ>Uм,Jɱlo$Ky25z=Hԉigl7tL.@*]ھ)yvq罿Ybx!Lž~~Xh5p&4AJ !-C˝py? ]܏74sO) mՂn%.*a94HK SۉKC!;_Yt+=xv|`74%80hha3h9e--,tR鷢%0&uFӓS~̣99-4иso3%=̯MT,!5޹L0&e=R%džergn%Sl]*n(8\-+?l;zk>Nfs;䥹nLB4fn-Rh9 ͈n6;'#Tϻ>!PX\l)?dq#/:]7GIvrUb*YZE֍Y>XYg4b`|8 [_$}m'}C%Zp 1fƌ #As)M19 zջ2S YqW:BQcm;pJg*o HIskJsYzɲJ?6 œS.=U[RF`o53k@^M"@K5CDݝ)(ߗ0&jgT[LոN=_!>A+Dt-Gm6|Yoq3 &#OS56\O@ť3D u{o:a9yul౮њ y8ˋ!.f.Dgj4b1l Am\k3JѣlT~lv.ʍL!&Ha،8T Ryj|sf+N 27ND~' jΜX(A>Q\ HN45:Š;tfAckű Uخg;VR=']/ؒ-,yq[qj}M*oq P^ ι:IƧ:ۋdJy}2E4 /hG%]>wZ-{^k$y!F^vQۓɇ p qn$Ӧ+j4m"mZ(CBmߏSƮa,:yQS, EܓD[ћ\^~f@ oKćtYckɬ&&u}}"?H (ŏuA5cRK^ єסgYZ2675501f128c76f8c68410868e55ed7df98cfe7e5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22