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 KK2 lt< ]/]CRDT:threads=2elapsed=23.748cpu=44.448gc=2.664factor=1.877zXZִF! V-]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VLȄtC8T)h|GMT&|k@(kohlMy]Bэj, >Jy|U&#h)SkzdO{xZ쨓c%KlHq,rz0kA=; CޤT<2#:tAeML Prb&`n!5LB.ݞUXXߚRƅziR64 w"C5aH9(p!d)Mc:a\ g<j/V!mI_N7]K\Z'5 YE1=^nQMb (#Bg,gÑ6GJn'qeeXeg8 yo!t |AH8l *tsL^PѼ Y3=Ќ农fMbiAjyICU `)2Q_Bsoq}׆e3DJ]0^Q=Xoc31. [D˒J*zRb,^jfq/eUw#D^Mg#}lܲE|_Qu+}ACkqſ0X&zlHP?_<j: tӟ(UgosN>2WYѻ!ڎnȏƈ Z 1mS,0 gYZ7zXZִF! e]ŗXiɟ1˦rnzx <@0+gMLdk(4O~R*œwr-`g PM_]scF<"tLȶj^l!=x@w8'W`q%/d"JsOI\l 圣 pZ2fs;?ά8K}o 5s|| }ngYZ7zXZִF! ]ŗXi%;iɘh'(E}Xtq*0_e*2 ՌiiV2Ԇ+X9AZ0H`codW^_9X ewk$E|d0NU)f]G[O WAi 3qD9/q9S%5;5}.@ ޫu$θ4w{Qρ_+jWL_*3 \mt63"Zf:Unv|C60!3=i|±2b =wwù /? x9ekM,: 917-5߭.eۓN7hê\94R!6rvdP̺C 2X>~C1A;ʍ_ХBzu}"D@Ͻ5_Fȴ.!'2{˳E0-|;7hZf_&-,db! H(aewi!Χ镂'R!a){:IrB5~{҃ >֊l\|xnU\nfKP3r]XfzDSq#Q!4]-ҊƎdW\!'KO6 a?DnbT;V*8qzW8:cAv4goU&+^ T3$T}łؖߞ3Vclg$íI'IS3V`[:+οAϞ:ĺҬ}%QDg$x H!yãiU*c]SxkBR:W`AmKEvxPRҟD_& ].PG%%x$ksfo-F11=}V=kSzT8͎X.rEU`^F eaw) rMTby*`V4SON*Q&8(s> bHU*rQ#{Z ԅm#~d~ʿӼ610!JN,>a1Qp6Z$\ցP'MR0AIQHb~DG&O r¯1tja\Rsؚ#fʈʗRvY\{+z+ٔiI!9m޳B&n),f0S C'#*h~(~/|Igi(5zqo T< L v-g@el 9>Ό{q9F=efłQ;JK,1RM_`UrߌB\kM{&s-I+ŎxJEv:tvAn֙Y[< Wb w6sS Օ(`f ^5eMdu0 mդٝJ- 5*`o[q(