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 & <| ]/ Heard_Of:threads=2elapsed=38.849cpu=64.204gc=2.624factor=1.657zXZִF! ]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W СƲl˒f~,HY$G=3Or쁶^Skʯ h<9>smxX@qQeh-cDR^99 4,A;3AeЕYמ#3ֆj GP(-ۏ;w/KԦٳpq0B9h\L5tخV3A DZzmK@f2(f! L@FR?'kk;s>_p)klr~   Heard_Of  ׍p0vU#z/j-"n 7oaI--aTTŽLnl\jk0$ҟ3r8B1KZvVc!"n~'Bj17ϵ?󰪪-;6 R3dK c`2/7$F_y@D/H8+͟X4=QXDUtl*ۧ}V px}"t.B O Qfau1y5dHY3nvd뿟wV(X|WgTh}RKڤΚj٦;CqFTy.'@rD k+J<ϗǜqX4q.5ϖa=u,é7*g-f_xY 0FggQΧ [$ӒaZȬJHUl4T?' m~d o/Ӹ-IS3x`RMH!%~h݊ I0vYEbZ+"SPH`q>fUmP:HpIPUαZ4a|8WhKnI ژuԸ ӽ' :Nj\m3Mu&BQv`4}?U\MnYvaFTlA:gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14撟ߑ Pȓ8(*D`β HNilO0"oaJF6)0Y]8uM?A3TBCEQv,t+ U#|G_!xtul݉v!+)d[sTO *>B0`a*\;^Ҿ ;ƌZ삆 RBZwE)8빉 t E.`a*EЙos!9>qH+WRfjzz_{{="Ԃz?Fo$r"T.?hu!JV}[جHsVm2j~= gYZ7zXZִF! 7]ŗXi%>goGIUs˼-(f=O&{K|Y^ypK1`?Y25`KRSA/.-#+=]3 2ڏgo84 չIݦ1d`_E)9sG A( s2 4K:C}>[k,di46Z+YLxk̃Yx%# pN|O1 Clt!BIJf뙧.{YӣV ye ˩ /{s =m2̎G)4cije k]?ڀ 36cjMYu"jy%j+TVqh=\S?;$crHaZͶ[rL?8dD͒d#Ϯauů[gvh{aA './2w^~ʿ\8i8ӽNmZ>2M*KNj3ܱ<&Ef ʍ41o -]eϱ2>&&KǹDG]lbCݶS[75v  !kXlW|\ (s U*@}5;YRm5$RïQUä4?bՠԮRotUFAh T襄W(PrD_,=xhmȔ+rm,x'Z _U" $IH!b-ѷێ6o,n?yΓOm4a2e?͝ " vf$lĐbwCbL(zc0EGLbX`\pTQK6nN>obRM):57$nǁ?QfY*S2Гe$3B"'?}9]/rnQV|>> SM*a٧+J*-vŜh5`ET3)y5H(=[5hr( sE@;1ю|1L'`IķJN׾#ǟ6ϤIV#4}+ԱԞ 3|z5ABr=1|[4@4\7d%^ = tAҀ( )|GRSJ,7˗$wm<#/c{Z=bxx-Iy^Ygk$Vf>V}vWvIo/B#J(A8RCiTbC'}7(=1W6}ʂfu050bmyܟm}~m f oK>JU^ VUzu"ͨAZ6õm}_ * ?heU' F7%EO㝸 #0-qB31dET-1^n-8:wHxj,f!i( ="뙎 "X)YӴ騀qB1G+MwPAE'lrȲ`yi 5z:^.*1pdpZdGD7q_~ xڍ iWnBu09mUR#pۥyTDZgYZ555ab269e4f40969e358956aef3e38a467637f7c97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3