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 q <$4 ]/]HOL-Word:threads=6elapsed=9.799cpu=47.476gc=2.124factor=4.847zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZG x_j yY6<#K˖X5R->QS(,ݚf]M%U)ڝ5$W0FGY2G)a+%@&P45kZ@ e29J9RʟkW:"AFSY~ p䘭k!g_#{W%_DX2,ꖑM0؝NdUb<g'im4_tA.'}!t!k~nOƟ;),gy9̸ުkjQtA 7GyN;\:Oe nqm+m|R~ZlOĬ2dNin8vMBT!j7yT?J>J#Xˇ-{vuU\kx`Ӽ rH_Hm5`$q@anj}ߐ+n4PèN =^̏3icj.M. 7[CW߽uLi|/(H:#Jx;ZJu5/ 2DݞX %;Dn}0}[X25L.7[eP:#VY\(f83lN~ܲX=Ѽrv!ۃws1& hkik_Gf(X1,.)߹x͝iE^cC 󡇫`QřЂ=?%Z&, ::R%ŨJ8!~Re읲BIhl}ZVo3qo`P{}H1mpRԨ_XP, W.11f(p*t-POQxy}S 4ϗѷ?Bq3*ܛbf0\xSo$)@ÒG&U}8|/EJ[|pam-gU.-]l|Q`XSQ ƸY|c\%q߉:I :=~)@55ɸZa?pgK~K>FG9RY`hx'ZSUsA5qs?A) cy Y:aU/g"obR)e8#3|yW;(>3P8H&ߣHSunݶ^8>( 7)ȡO|cꚱ.ض6a+xN;?!A&JW$dT۰5ph4`,*Urre3^;h)#!q#yhj$3a\Pe2ETûw޻-n>&߁aB|Uch![B>t  "TNaR_mJ`f&='nOpS*w6fa҉xq)SL-" Hwn(IB &O ':_s WDYvnpIVR 0NzZ^ [^re90ؾ1& mOR8V9=]n yx| '&OE:V[h[obmBqj,q{>>JdARE I\ީ~$hF[y-gcdje3˨6ׄO I;R eiv̘ur1+6/+;ƝFZ%jE$:4\,c%_z |Z}D<.0 O,O %!)Q 64:>FI[K`B