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   L| ]]Word_Lib:threads=8elapsed=26.167cpu=79.479gc=3.948factor=3.047zXZִF! s`]ŗXf1-/6vR[@WvG$<5F۱(W㣯$3Xu遧OQB;m{*b#x{d>ajD;40ɖ~+e44#-G'½kp~xtk{FIWԟټFVG(SvA)m@/ժ1KQ/dDB!~{[__wD1`p=fZwhOGx+ 0ŢDlD\Kȇ]vR2 Ш^~̷^*jЃAw?¢/m5ƉSEY0o$wInB[2 T9B=Ekvag?   Word_Lib   oqxA/4Vxa8^|Ġo4wa ͬ`cI@=Db@ivܴV56TĉQH@?XeaYMY1NkVvq rw, ϷRْ)H^ɸJ%= ?l=y }~䐴Bl]>1P'BJȣP7~󺢓dq "WzAs"S<&v8< sJю;2UQֳ\1%%ELJ_́)xbñs2jf+WB r0Ր) ?%ScD}zgbQZÔH Uj>4d"x =6ʽy^ [FìovwiK7Xn{Kn+IBxwqo,}uQȉV_MĭTތECS]D{VMlAc`ޜp [M|]>0Q K(t~0 ;5h{lnW?TQ۬0?ƎFd`GHf3]ܾ6\]($⟵"U'G >tɍlq* T]h&f[ aA.trg TE'! MS1e]$ zthgYZ7zXZִF! . D]ŗXi%Ebc- t2wO-إ9 u5|} |=drhy 0؟i5O+-_ov-K ?A{i\N_ODXIԕ=IwBnUe^eΖCZ HtR!1yٴ ܰd\ٯELl$/6.]E7y=qwa\aufaVܾJAQP',PUk('hﰺC v#^Y6$ W9koȃ 1Źy0Nk>Bcl<\#V45vIa ѺD(am$ȚWUWLP gSoQ06lV=C\5NٗʣaC_2"CSn*}A11DՐ8LpY*BDb!iqn"UMmpȦ>-N߃?'&zJ8߿7D ²~cXs?JR QH" #%X BxM"^59Ga]^zxXyuνxk @O+k+&1KNe76)wNbGt;]ӻ6U7Uw?WXHߞB c&WRF"Q+N?aӱ[!@ֻkHDH:6vskpغ8QI >ZEI^ qH݁zEf `K:An2"{d>nfqnrݿ!?SԽˋLaMA6͔=zo I$RVCp u! Spt#_b끒!b3 b jL"h%E[ʁ3{Hu#e0~2H O2'u5a%]}Йa2ffGMcp=( O(94z2s3CVn \H!G[QwE/]Dw체}m]ݼZJ6,n|4!v,u֧_Ϗ|޼žX7*IfM&lxʍ,ѧp E_>YDw܈ Q/ سia Rc]W=Rb91bB.M[M%' Q.=Aׯ=}@C1r)Ô$,Ѯ]641!W${H T)F+ d`uQ.f|Jz> 4Mb0Y nQ NExުF-Ҷ}boʙ4KR5x2sG їIb<@MS2,Y4)RA,_}&FeޖA;}݃Zm*29E{0K4bnįs|Dqx3[Iy?AL<"Lz x"y):l 2z2}HE{-H[go{c@ծ`VBZ_:|<t&I.]c7$_; |˧$A f<}ӌ99tyx<!a?SI(H?]DǕEECFiknYHgؒ;=WJ@[gYZf463e6237977d84fcfe505f02451c65c5872f5748e317804cc1fbab9a0e9f003ee80317e5adb94d4 0634c582985b1be92fc708eb5be83667c49da2d8 be02216ca4752121ca14e42d01cbf2bb132d53499453895f77734e555e382702c0f85435389d993d