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 7 T ]/ WHATandWHERE_Security:threads=2elapsed=39.364cpu=75.256gc=2.636factor=1.917zXZִF! *1]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TCy*+«6GR)T .΅~vc\9c:'Ƿkl#&?] U}Wo-Y  }0F%F99i67&:ODM USsǐhmdOaE#;ʹUv{rG: iy3拷:1$֠)e%Kt&}D$輹s;e(O B A^{9"eL!(s>5?1p]M 7 WHATandWHERE_Security  NFלHsܘ2.Z(`S4ń?ѭ3qyL5{]S^1/ D<]~^\] D~7hZ("]>GgέX9nbcdr_2=CTeD<><ɪp@l mi,BF,.bciH=#Q[9߃`dBuïml23&SLQd: tAbB錓ϕ|mq( DWm~e+\3ZqS \ Z_25G53. DLkB|޲Hvex+LGsdӅIa+"2GQ{?1 (U9 FENՃ3O V&6 Kihs7*nL w>=x_0[mV?D&³J Z8W#=xǗԏ RF~i'h!s4$els6l>舶$#ePВf|?T@bgYZ7zXZִF! !]ŗXiɟWڱIY\u-Iv*#pd[*;N&LNZm;A]ޘ[TfτЋYU69?[HnF?M2 ǁ:,btIήf-~, #e\iRP.sF˒R\Rg 3Lv~t*KS4Q6>ޒFP(.ꈾuџr1>M6ϞK[ؤN M~,8[y-͡kTƺD@Ekȝ έ[gYZ7zXZִF! ^ ]ŗXi%>goof~Sڻ ;c5G< 2ӯww{ ==N[nc NyElz)>TaWB eӫ3ހ/7M!ӛ`>>V׊*^nfpTq`CMjXMáͣLg-a~Yi~ WFAud&:`[ ";gshf_[*u*ۉ'2H}-xoN3ǺED|s~-N$8pQc7)Z%,Hzw#mUB7 %f鵝Q2)C8|]C(OOa0:Kr'f#^w[~}Iw}RSHɿekeF $(3?slT⸶IW^=T3=ͫo.}ISc̖]:Bx[Pc 9Nz:@!PE :I] >)DoyN)Y h{{zH@aj-MiÿL*4y7c($j!dև @tڰEr4Ζ`ECQhH951 C.JEfmS9k˔?Tx!|LJϸ.x\BQ_UUx;]jDQ绷[ym lRP!cx9e? NR*itGV{n?ZKZ : _ĬmN#F\C6y8ViWqpX7;*fYT.'*qr/׎Z^w_2\AOUPK^D:;X .w,u>աyL5ss9Stj`H TktPP9zD!< PoE%UTbK8?^YDU\L&cu(كM?ְ*۪ơ**oA`:a*RC聵 ogȖ>SU;6ogOLr=>R{w_3wXjϜIC(a/5Mwu mH A&M]Dse@O5g!A J8v1K/w-ǰ=-chGN qAňMN]dyKW$ 2|.\Nwucէ;ꚏX!NAB5#!U+񑴨%.l_Xߕ׆Ԁ\ to_ADO-p*o A Ch .ƠYFZ:w.icJCitL*@LʊtTn$J@>2 N 㱎lapR"W<)9ObZPb!3bm0weKRqv&S[ :|zxXgTW! : ϗF\A'kVmX+ZQQkKTrq~s\RW|}+L04YQtyM{ЛI‹lJSlUwwߜZgYZ9bf2d00a310455c7cd1df058bc54aaba0ddc75bc665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7