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  ?,D ]]HOL-Computational_Algebra:threads=6elapsed=34.051cpu=103.708gc=4.700factor=3.057zXZִF! ,]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(F6X+h,HESC PdpۣtLd|U;f-lm)SKJCך6!f֞边 UFIO|Hq/ $s"9E2<&8a[bo-; Ar;31qwc ؕy%ě)د(@7`ː-Pm —R0{̓j ` ]{/bA!((fMf!Eq1Ou=q\o< W ? HOL-Computational_AlgebraO897|s>{0R@b^Zby{}Eؠƀw% bf BoɠY$u-0l X}/C3'6 1Qg fD ?N *Mǐ%ғk="ZC s||*̽,~^KQ=Q Xl ;e5竫 ٌQ;z]7|fP=+$~-IulX8Ҧ95G2]ao1Ik%=2|CSd5?Fncb֬9Ŀ dwƈqs\V35.-=ίZ8E{ҙ 88VA36׮AiR$*\!h&}$CH~™z$H[:{ deamywL.q,9DNX!23XZbY1 EQX@8_u.O_uk6hw}%~V; |G }iz94ϓ@QNoLR@Wɳ3-'QG/vpMKT> ia8 {fVCI-t"7*}TިmԄ΁0FQvTܚ $^aTI I0P*LBEX7_Fm6B3]`(-s#.ΉTokl+brB&p .LtsB)J $P=ytp Y)gYZ7zXZִF! ]ŗXiɟ1^ds6Q383H#Dɂ[%j׉[@L9Y6$`d𸑐.04gT;(=/kUh 0OY0CrCquʮ~Up3PX&y^X.usҥ,_X/rYD 5ߊaC<88Y!9PC\8NٺRORRsE-ϚrXg $T8튨Qb|^[o|`}9)wu9zH@ݥ儿A4 zte<:3 ~;) y Uó kW+Mt4`IjVjFp"X45-D%s4y ^ܟM=36xg p+m p4EQF\h`D‰H5 2U [_y丙uk8qx(Ӌ509Yɔ_A \7&ELubx`(>cb?(՟G OwE響{ȕJ}|]o7<ãNb c!_"]:lJO c+֧ APH6(4٥lA8>gߜ?LIr(ʃhOy7yΙ? ҆#7٢A3MS7UC ţ3ou[^$'³&$bF/9b!? jn\|=..+N K`YuU97=d]aJAe$Oף!=ڏ4sh,Tl+;WML(U:k] driI !2u\V5܃?QW䂯a5R\.bXO4֪nѽ݈Aa;ACOFƄ: nhz,g(?qUjē4{.NmU2/w.AZ|[xVCPWigYZa2cb27ae5427ea506150ee095818c61b89a7ecd43cff46c99bdc77cb69279060f2c6ce1d34c65856 81d7082226527c0f9590bf1b77046bb4db419c84 4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6ccc2431b95a86d60860c8572e6e980f18e2fdfc2