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 n+ L$ ] LightweightJava:threads=2elapsed=49.757cpu=75.768gc=3.072factor=1.527zXZִF! D`]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o JX `tbvPeZC ^,A-}]MGp7;S^gi嗈+1/F4-=xǜ݆L'%0jN~oe,;:;QGPWY(h]e0cFdDj <0{2P>aɉ0M[!Vz *d[9p̵aJo "e+} [/9kYA7< + LightweightJava_ྲx< DF*aX5逧T]d-&W`ly.1дJ0$"gk"٩k#BRl"ҭ"$7LfumSO( P7<2۶OK@ag63eZZuVE0}#gApb5j4S+L<|Ȟ"~9z46& M"mfΗɅZdWG~f:3 }m .H$T@MrDG_&g^H5t<g~G1aޫehL/XcWy:}O`jr% 0pX?t dqC 澙;|anp| -DsBxD+V_ =Tqr-(aT.5M1^bPp8֧-0~~)3cie@bKf2hb]dwbckr Np6L/}˥8ה = >oP{7PKG&0udyzSP-/q2K_}h IsPC$*:),39_?ʦ2)8NbM7OhV/h3g5;/ʬjA '9h90[K>2Y NԄ]=ݵACGڲK HP2P ZI."-gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9VeV`np!ƞkb>D_sTs$3Ԝi!&@Q{Kd)cCeW3O e0s'?gYZ7zXZִF! y ]ŗXi%923Jm%m4oB \N?v WTyhv&21%s4zWP۝gqrG;7\qd~spڶiLfݺɍ/MF~|Z= ~sfjݛdX=gc){I zICv}v95zM8cdqBt}kpS >A.V/Q$Q q6ѼyN\Z;3N6&a;ٶeݧB_8г"2~eQ4O6KĺpEث -~:-I.$f]:l?mL}ɟa>o<&vJs. ~GSfVxы5US;?2TL#73潑MCP81ڱx^@0/7szY8Y(E9Dfsj$Rՠ>Mrj"a-PUdsA2a9RꑣICO#{aDːmP=dP/^_-GC`Q#w8 )R޴)&h՚q4S\~f.GeEL[ xũZ;{ p\-_]N/9'D|}Qm%QqPeʦr Fc~Wk1mXcJiDhVC{O-y) P*+:z)O.舉9RrZeO gTdɩ=nx0.ky( j\-SC7~DJAAs' SfK[buº,nԄiw߾ jPt]'p1O{ww>Be M e'y`]L9T{ y>+GD@ϰu!XmI[sc?7 B b<7P{ H v+@2Kew Vu&?ȿr ̩,%Xgv?}2yTh% x] sw`Po}CZN 0S[,C%U_-Q~}sM` ii7-M= 7}sqbKR|QE%*"V4$&>$#[g}"aIn$v }ySXQsHCNa)JcηWLkV@?HӭN\!$뱹8ZF\13?]u OO.T+7.[dAb\o1}1O7B9҅6۟iԥD 1* |j?g\% -"ԁI?Z!EdSP俈>NFK΍SS҈Go9P߰MR8+*?nc#L чJl,>T1XFd\U>7{i*4* RleاIa~pI/|iIW3Ěn[-BwP-13B N"!6[}MNR GݝK]UedpT)juރ-V"_I{Blҿ߮T%R:LP Q܉PcY [P>=.r'zOоsVKjIOS܉yCC*ROcJW _[G-rOMp;3 v+Pu)_jnWC@P4#e]Bd9"6 ɻ!87Vّy] m-pEkh)$c:܆5t,jťnьZW9=\- dӻѦ^LH3./Iqѡu^?\1{w`˶?qu+aQ{@>1J:dph3>wWk\y2gYZeb2c927537655c16312e2754ef3dbe524d7c735dfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740