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 ~~/ |\ ]/ Dict_Construction:threads=2elapsed=47.227cpu=63.644gc=4.576factor=1.357zXZִF! D]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 朸'kvC eyYD d۴ŋh4.%1#m<4a]WZEq̇e9W5cTW ٷA1S]VE1@t-f. w*[FJ3-3?5Wk݁RLԮDGR8A]_SqKw7/8Ȁ?2[߆I F5>\E~#NQwZf>{T`%5$NW ]dĶ:Ao~iwy8lJ2ީ"%i#tC}=#~TZnq_7b7-jڕFَ-/u,:Ra۵^m+:͑$~)7R!ti17,)<4=_gܩ1#N޷9AvjԻͣRE h(>"ӺY'{Ҳ ϱUEۓj&y'U$NŠI(A{ç+`Qn\!DqVzMB(ZV#{Itت*R;GY_8k_g0ZV!t'AvCyj1*.VgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږYq[ ;-eO2 m"؈E_j} ^j?.aj= zX:#?-|1dV`r6 [hXfMHv{z0>-K3U+T1҉C]W BixǮ%cM5E%֍} î\ H G`A |@[T:x+Qs+.$)43v>:苜ʠR;dlJD^|$] kSngYZ7zXZִF! u ]ŗXi%>glr;Ľ 9!UJIFE'u.=y*>bjtevVD!3G ZcneTv}|Y=sȍX>^Fp"7f1㻏Ws1W=Ī󹓝fʓviы0G_ZvO\feqJU=]~ Փ9*+9G(]w|(SU> &%܏Q7ɧK VZha'YXŀLP!,^ @( Ub0KEWғOifZط [kc6sP 8u;jLP Y;Ż#?IEDHPhpEVf]*S> .E'?cۜ/W\lʡäV?Zj,q-4ojɥʉPFp&P)nh.0;]|{ jbuڷ![-4yӪ1%}pLh̰;jhIbp ٭%!̏N5gޭo'٠@{o4#JΝKfnx'49xLy)T|ɷ2ѫ[OWj") )r]8=ͅʑN#W*Y7X EHlGZTBZxζ<,Af%#!#?07hA% gqpL ~qdƒ. r w+h>g |:|$7*&1 -mB)d/ 3OD> 8֘Eӽm<4)1FQqE?r/ƚj?`@taXa1 {*5㘿2S<0 CM=Va|\lڠ r5_a}wDqǣ_~>j| { b-qJ5E,.aӎ2ZF@azhzdS[]zf0J_@Q0kY}i6 ]ؾeB~ny'<+-{aTٰ{4 vfZpctx. ([2C/SXK[3zb ҁ "CSbpO r84[6 (>.OP:.Abmu@}벫d>)@>M+D ,;aᎅK$+: w|;ٞ3o:Mn=XuQ%uvqdd"ՁS5is7AրXXQ-b<*N4lkyfggꖆ঴fYR # j6Zycb]LiC dpv%+ 5?0΃h~͛M'5}cDиTIYHB5YH|`L&#lAC1=&0wZ:KfV:ﴞ֜6= jD$doT3Ю\Oo1;)ZYW^ <'u /E4b+X..[U^`RǘUTuD?rվЫCWϥ}=_$jf88ȳF᡿A l΂cd{phhLw=0֐[P}=:ȍVFPWd9kXvX?=asRHX:PeůFجʲilnx"9%٭Tˡ>}t ubQI^Ҝ %&l\Tow?|D0ک_@+Dt.xj>-qwfODԾoj+u6C#7+@ :;E IcȆk5X=?z'x[Q'F[j,MXy U (K_UۃŒu\NX^ӆ&]_ri,QQ#$rYm!T 﩮RTJ[)AStJ FuļAL*}d na_4^M<:pDz}78MTu7onlD]2%/]%9GixJ8. y"i!Cd$U8X 5N[PasDugYZb12622b0907a63b0ebe884a98318b584adc365f297833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 / Dict_Construction