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  t t?4t ]]HOL-Computational_Algebra:threads=6elapsed=42.534cpu=123.972gc=4.988factor=2.917zXZִF! 0]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Jnf1s9Ћub9H@5i3wcꤟD$7M!aNLʬId67o]$%Nkcy!ky<6HMrWGKZDPֳ r2|z9xu"Sg,@ܯ47zɹA*`rqEF; jXe%N ֫?+/̛NMV.42/-cm.~+Qަz瓂E'9&8ܵg ^ y֬C5PiȆ^- &^ кiJ N)m.{Hz!zQTѱ:Ґg z mhӬUĄ|C{nWu)vUFK{KmӌU1}Am-#=.| z5B ѧM] Eh _"dhL()qV',L!⏘ HVtj f\džpG"rca3p8_?8G_z,ï#OelXC&̹K䣪;Tˉ {{.sF=3bfR ]'Ř1`# %%'~ĩc=UOQw6Iclх6!8Ԣ/=9<6 `ItgYZ7zXZִF! ]ŗXiɟ1Gyp0. U+PXY!-<;yY [5gYZ7zXZִF! T ]ŗXi%90dXj` {@-C#R=^gF\XUYjǖawvKKEj[NLHAspINXXwq^]ahV-(˭o ,ׅ;9"]"2/ym/1oB\K~Fpb22 ˻5M-c!<Q#[I:Fn>_ϙ-?;-<*[7K99hcn3{@QZQFZ°dd^i/d,)%tTX bWG*JKe93c3u ?tۇ+MU]ʥ/(nt"ѹyzj 玽Ҍ{ޑBAUfU +.a38NEtcU\=֖OEYƉnwxm(+;^$kKP9p`2MuUrHeҒ0E6vp`YE5U`7cwAе~ |Xv]FMlj 7з;P3C&oh} lٽ o9LHg J7 Wa,Nz#$l$Xl/\L_2r?$dk]=k؃c21[_,Nn :dضf4Uȁ+)M%X.f6fq9|@GMBo _vEO{X9[%~2Hɦq׭Dc|$>ھTG!~lr?~XN/2*>Zo̳5iwHMEk[ơ$~If00ux~'K\"ib(j"e.b 416l Ym}c%`Ą?ֿV e3CC~|zO2EGݚo$=MP"m@Q4fOTMAMg~{0J6%Ve/m4$_\=WB߮eR/KX(0t8\6 }DDmݿR?l<9T%Zx('3 > na$Vo1MߢZ1ߍMis;\SRT^y( $֐}nPt>ݧqz1].S C AK^S4|o7nMOf%SoJj{'GuJIo (J[UdŻ#eދ#|DEjw\pd㩠39zupA$\dH1]z#shLh>g(q!S/ތ(<_d-NsR%-[m9^q& B[E0*Wn0`9%K( *elcYh^+`ȖAWVjbVЈY|Fܝ*p987j%0͆xN~{ik+f߼-Po-TWuLZ` Ff06n9 jAwEcn6{=)2JR+ٽy^it,8"dHjb" T ÇY ?C: Z 5Vo&E^xG,\d6tcma _稣"pgwv氠 g2q%eUuźOmH"izhmVWo=ơ Am1eWWs4=`F![1k"[cs`M9iO!>$Qcj |Wס*a7 _G 0[`=H/C:z>QhC6*#BfQ7*ꁂԁ+B{)At@|b 4o|IA6+*/r|R:l,ϭYʊuFQ>ٱgm;_# Bv. :aLdo!_>_!^`zeՎ<gYZ587aed62d91e24a3a8de4a1c5708a636434d3302c3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d 22ee0a3c4b20f434779272d6b8481657c37661560928814722ccffb98ac334b91ba3e1aca0abb598