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 ww d|\ ] Isar_Ref:threads=2elapsed=8.983cpu=14.308gc=0.984factor=1.597zXZִF! j]ŗXf1-8>l޷VO +҄RXۼfxAay`yyV@{ ϙD0IA\E,:mT*| 99+KDt [g)ArQ0~]A"F\U_,Me}Dwx"m.H@n>۴$êo%ZT1j,ժdbu!i':}BElS@KMX[gx\K#:_ zN˲Ϣ='~<;5It3%OnOɨ`S-X%-ĪWMQ}6gtB5+X1j:w9gYZ7zXZִF! 95]ŗXiɟ]O5-|01 Wg9Ъ,~`|}XaIu(ˈy(Xkδ(C?qitcQE*CeE ТW̼mhMdJ0F/ʻp O_)xӥ3SD",x1.鉲C7eMIBP:ʎ>:(@#TF.fzZ8-T}zL=qϣ=ENnϐ>j7= 3kbhDf냆!_,Q49Ov\$ƭs~ Z>?Pq+gYZ7zXZִF! *%]ŗXi%;iF%y}wq_F%=N#{ 8t~؉]>lU߽bA1NexH`'m^xEٌ[˕A~NmKTN,(t&jT_՗ { x>RMa,s|e/ Ags0oS|7A\ Zj;Ĥ +=WJ4D \讘qKfv|A 99m1Ӆ//d d ;=RgB ;9@rZ B#r߽hΙP:B{OkUb~6ݾ8z)%tÀJL'8uFh@j8MҒJ÷aDdڻ.ufaRi7FIKŝ1mf:o^mNx8;B}nm>0"^1mW?e)xw$'Ne@3")ne-upu#:*-n/*!aG I0wۉKmęQ)[?(Elʿ:5贳Vf@mxɄ(zM&FҫsLyIt [/=gw` i_CBR/)`,6Vx`3w홻vgSueqQFk^~/ ĚQkG -