SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 4 m SuperCalc:threads=2elapsed=42.892cpu=77.800gc=3.528factor=1.817zXZִF! $q]ŗXf1-q恉<fUZ$d{s[̣pOms~0OOb_sEͩDTZr@YŇrJiOy=5ϘdqeE9Hv[)zMy< ľŒj NؼH˳gNЏDe%u"Qgs|tzmԸgwyDbB=~ǣd-`ފ7^lv'*cU&b>:1FM JT @!Y#`\Qѝ1E8O@KH`o‘~I|&d6⨶aIjsBϛIAf   SuperCalcPA5pZjh' ,yVycMǑ}}.K`{,\$`VBW0y9I33oNZXBu+U>ٻV!AX+ <Cnת2S@dZ#as^,2P.jՆڝiB<ݶ( J\ YkhѺ뛺!OX@wXebi] s>:{ fyPvSێ%U}0B%|k !H;ѱ$"/S z_4fXMg7 <-2೅Z7ri`Q_D4jHgYZ7zXZִF! ]ŗXi%6`0^w`~K=/gc0-ԑ@1A]:LvL9ʄ@\{715/]u!gnFxh5켓eVPv1(L:o){]J0}#Y?ڜ򟼭fV!K`7;QZ.rpaz QBx/+]lX)=l2Sz̰؈fxmġ}-ak R5DNK_ eTFl#`,SB{Zw%p%734'PtsԧNNU|<K  T*8=v9n dizP)CܚًꁬgGڜ7C G @9á?ل4Ô"ȢƢ%1Ʈ=xLuXƼaw3pKo_ېDT0Xgd%!)rUөl&bWzU-d  /eXq#Ñ|xC  a${I0ѥDjhyrJP&ĖEA{.n~?Jg>T/vt9sebvbWb}80ou ;2ISW%az=,f0 eV eyIϤƵ(XXjΥm9E5g' pUG$GE\QZǐdBG^2躹^~^ S׌{ ݵ8i.>zCKH3I7Lb*rrlnQJΟ;%9)uRRS0!MOR$uo[T2luvI \|,rVLjм.Qh@Ό+ۦ%HЪtEwH^nGnAbm{KbD*3 1U_&LO- 8$Gxf͔eq3>Q0NJ䶕H:^23::A'1m"7nn;nojj`o۹8l듙ˋt2l];"XvPcęu D&H>cm2OˇQC8q% )\_z#:ڤ}k#Tb|5Mx;!=bN!mnA5Y&dwz0 @Kmii!C㭴iQ:Xh56<$C Pr*3T{{NhYDMymػS[EE~껋: VE & S}գQ-N0\A I [#N{2I*KcG ^ uq.z @zy?d\HϠ>eӲ-".V#_~]?I|Ϡqv_2ٜ7SW" > 7ݶ]L@6妒siml~We WrN+K>C]!2"JG%P3iJöiկ8BξGZ4OQ,Bu2A\D¡4:< d{pJV(nד#4y@-ǰMAux+pY7ifjfOIT\<,r^s߁dQ<]۸t}+j?㶸Dg\ ˨JXz 3'8 =YXkѴ!,)cc$]Q2sւֈM#qmCV`(i}@E7!^2\ͥɃLZQ!_/ (%bC)bwI@%E@{ɵ'/sHϱfƖyoGdM:⨠bVɤΕi2}af\M8;o9CWM?$01S=u$AjM ^(}OcL)#*MeW1߶ dHA\Abt6Bw5Y4Qdwx&id =8Ws' )EDNQ91> h0βN4GjwIB* g2]K5컨q(QNUT7Am&F1u&ʈh(*Qr$hC^gmgYZ0203c8bd38cffbad4ca854a10d8fa8ce11eb7dfc 04bfe01e345b1f2a43165a83a78daea05b2aa709 10b1431d5099be70370ec429d6b81acc8135fa53 297663bb3384e6bd1ee625b0139bf8e629eefe1a 31106a059b9568a10836d609aff3adacce347b53 64d1ca5b0f247c8bc670a248b50bd1bf005e669a 6e1d1ca7e766b9196118d5211ed44e64c7fadb6e c1e44491a2e4be2b9b8b8411519fd72dc6362558 d9a909a17c1acff4edb773a8e253554bb2e576acf0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928