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 JJ3/ tL ]/ Dict_Construction:threads=2elapsed=47.650cpu=64.952gc=4.904factor=1.367zXZִF! D]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=|6!rYAVEFDj[aJ{_6TQ֧|=ۊAϏI˘2>ǣ>؀Qu}C~Ha IYr\C"2@GTZE4erUV?<sUCҨS#ۣS8zϯ[ *uLK_% )pgz~Cz_TJ!~~u1~$gTɛ~j0CN] Ʀ`w=,mi(6UYnrx@`O**kTgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږYqYw;z*ϞpDGl=ְQ7]> 吳Q[&),,eZj@Rve]..v`tNX)Ȗ6/ ۴D̏tWOڂo7’K DM͎?✃ SAfǯ;>m%KXc]&!8Ju Bp7Z.m7VSqSli™EƏ{>BUSlP`エԹ%$@}V; :釱hO°ɁM|V*xK1@~FHD6 kSngYZ7zXZִF! _ ]ŗXi%;32MWCkO8^nH|y0u~f/SbUʫg^Q" .* 1ιKƨxL_Nů IN:fl,lbVv+T9|=W#1Sd H)C!F藊V$w(/>=H'A:>\Ox%OYx85[\.E]ܺ4 aՋ̖.cDNV*.+Ijg~n@s)w5H-pCˏH:e+H]qVյv\GyГc?S/vٽltb%} \қåZ4P&goPҺA/bspaM| ¨ ,PseJ*#?̤&pߡ1cz-{= x/fEEh{IȔ91 J51EOp9Ano68x֎2"OUg5>i#O?xBpצH!1s : |1q!׹MI+NUam7\jw,@րfғ޾[̄*۸䔵I ^5p&֫9lUms[ެ)/ٵ05 vF5Vo~d/D@߁Cʝl&(K"v.3+r_CKlzQO 4T:dHC "s4nge& O[xkk f:qd]ȫ"|1Gkp{TgW=gxVqǷr8"'AD°6zӈGi<\k>OJ*ƩQ񻁬$4'zJ)LNc8rDm{e3(/lxɀ(ͺyۚl,pֈ#wнo2JN-Wx(Iu6~2 ðt{#ػaY!Z5 kh~ЂLHYOT+r=R3(@ f̏ jz1]1E#c/#YH QCCX2:GG`%V;?,NWc׷uCVO =}e@.wf6`9԰Sg垢v#[653 67! 8iQOgb8mN zD+0d G{hwX \4਼Fo1:X-rަl]8 |" ˒MltWzN:o'dn Xnۼ'@/΢cH( ',[E2Sk6\7[=4Gehk/HR(m^JI (vI/Z_P/P{e4PW\6N)CXU9Ybh7p˃ҩdҰ^zED]"UW.zz6 GҒj;lyeBYZ({?"鮠Wκ67+ !A2dEg֙$Mu)\FsmW&2k~s*O K 2J@7x$SP0X0Ŝs8;-^P!xօbv{mZ0k j:KKy8hF]k¨h>㶒a&^92 '5[i>Ҝ ]Ӿqc:P) e@wqܮQ8#벪gOb 08a \6#qWo085)J֊[8<י|3|cNJZqaX5NHYixK5 Z]SiL$9e#s{Zgz,2 h 뷅u.$@Ι' u,оxX=[FLiiA‹m\{q/\^x$S"KNcQR<Ru/`:޼ 1p͐Wo q)Iq-[kהb`)Ww<B^Hh`l(X k2XQ5s`nu8M~*+q{- xw)$GOEwhc@<"UC#gYZ1572b6a15c82e7da5b5544995e257e28b30e4dbe665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee / Dict_Construction