SQLite format 3@ . BBh77otableisabelle_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 s T| ]/ DiskPaxos:threads=2elapsed=54.189cpu=78.884gc=1.088factor=1.467zXZִF! ):]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21BcHѵL[{@CGB v}8B?0mbEIYb5)eѸHM #>)t_,8#LK*fXݧPhI BQ`d'^+3#Eȡ%_WtM([sr)q=@U6RPl%Nv; 9:50$ä{Шqfu3MR3Wep6s}j¬-\iUOoU;hS_zQ+X܅'TBYRIgYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S뽮(-XLPm4 .?wY9x %!W0/$x ّ]t0k9X't#JQ\>U*%[E5UN[0,2̡<[Bq>sx^f~tW\#zgYZ7zXZִF! ]ŗXi%6SuYVGdv !jJ"Sfp(*4-,P>Z^dO4}tΚ/5##crz Ի8FU|CzV_ L6Zud#+!&_-̉ `kf:f,R@3ޠo-*O 0_{>ō5_Dqo X@kYW7ɩ'O(W?Ð#Sd[|{#jUjζPH%QukFm)$ F")qzͧ뺑{i?.* Y,5z ~a~`-QUeŕwF`œAl[!(,Ǥ V!(+:`x@.KK)+}A3}/%)]ȸ31y'=Q(N?K.[,!s }2;"'gȂCA0Uʀ۽E{NB#4YTJi^Ft]K}ۘlC(̈́!.P_8<(Q_)Ϛ.[ԨB ͵r#άNVOqh!X0gnx$*/}6J:4Nɟ`7>-)H5D ,sudt"zyjkkLtV?YpC(GN7 z,; J6]aj, Su&sm_ ]0O oM (\WCO<-pS_"sAx6ﻖVIG!y}ǫu4`T[|Q^AumߛD޷ ";RZ}Ń(*׬O_$ b%@vhQ$H("9S|*خѯߢx+m9?򏫞z{c)wzN׹Wg6>+>ڏ ̡uDT&띠pU;m'/lE_*?\nf6g^AkVc7nU :z2e oaNM2s2:) x|?y:4! f%WJ9tYwTwBB])1ZNDt,]ylJaFZ6߉ݵު+ξ$Iʹ,Bd=4ɸ+;O%۴K!d'C0,щAP0 FA֋?H`KkĽ%ȂZ)S $|3 弚BvfQV\1Uq$V.oa4y%5Col{-j·ӉK_ˆDǢS8RH_)tzElhX9`:D"7cG>R\ƘpMdfAJ7Q{ԕ+"Fؗ!l u7-%fg+eYDMt{\xZLݍ1-j{~gn,O% a[K|Zz'f8* \J`ZQב܂Z*K(Bp[O Gw3 "gKۊ >9f,{WNo+'(b ?B:Kӫ}M[" Ֆ(ꁫ" ;6P*V| 9\ܪ4㐍s۾42Ƚk0QO c)ݜ5ЂyTg`$  Fau Z9ϛr0(D.I#>[䔾$xX6>L@f2ғK1܅WJc4pn#0ᯅ!Efתd >3U:N_lםW׈=C/.j4/=×s6`C=(h'DQ#7^&*‰x YL51zK mL_V5g)4X"[*J:vbUhb 5E}a|Q=ϙBExgYZ6154f4f64cfb1fb676005e4d880795c72f9046cfe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc