SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3/ | mS Pratt_Certificate:threads=2elapsed=23.928cpu=45.908gc=0.472factor=1.927zXZִF! 7V8]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzqPOR䲑I`fl187OV\t\^F4$J \%Ge?ʯ &)lh˕јv܊J14T / Pratt_Certificate$/DHs$H$a\^Xb.qVؙ}F>dn)@@VI+ SUmA OzonelwW~mjʁjg8/e-;&ei)S*cgKK jaקʦ)dx+=VQ!8:ݥ!Jĥe.(}N$ms+Aآ`3F"e'm,U- :;ZyŤY!e,}?ĂF=\Nr {"8E>ْUCUÚRG@aQn+AC$=RDP{1AP9v7bz'[AfX [5H`uסcWi ة'9zP Lq{e8yZen{N EP ;Ul&?uVם2Z4=x>'"%eVvPS/1ZP`'e[ Mbn/@gYZ7zXZִF! zH]ŗXi%DQUЬg.WYF>|wENbΖ F,AzDers޸;B0mO$q'22Z7eWocPȜz>d˔=E%0;"f%fzT9۔N]7n8*znpZjs\%($J%-r&{8Oюn Vl^1U;`<-(\Zgh"ITKfc7eہČ}cANAmB£Ym6\_熕k5z(H`X%d@#7c0ӦF[^{`0zxz܇X'#^ŭ4Q:_diCQ0GQof| d J' Q<jp-*.ZVГ`ԓ02 ':m~YKqf93K%<,a9SI qH3 Q> vmb_r}L#\L]4Whva3Sy5_⏊\=ǫ;BNBq6WH1p/:RjO|+~IOդy$ N=8Ŏ7k}Ut\ZfT"8u`= u˽v*:/XFE& ћ386:O%),"SdjKKT&1@vá{3)czAjuЎԩ`U .QD#CWfM03jzc10Z_WϬA՗ٶ~A/䵆@HJT孁k'+fi]ط\hmR]2LIf!_7hwB )[Q46Dǒ-(uUQΫ b³! bшY Dz.ݛ?W =]3R.(U߯@n]b%?ɛICKXk9DRdz'u =Jaxa%\̥*{NȆȼ(-޺cYC|;NRioRmFT)=$3T+"]tJ(Xc@{&7p&1ynN\BJl~+ .?tDfZtsCsC:Hz}zǿB(mNU6y8pWy$cy,v7WڣIeмt06j|f+srp~)a~,Wje(|6 aHZ<}8yޚfmlC C(ld6c !$gYZ08f0891cff2f74fd97fe4f8d9775b4b780015337 2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 44baec093d30bec4af6ab8a6da185f226cfd552e 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 b909f3f92d8540ac3ab691750ee30dccc7d0a6b3 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c6595eb84f7f5b6ff8cf51591a134ede1855866a7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 86363c11cbcff0d3b0c40b1d646cddd08ff614fa cdcb6284b6dcb9167af62e63e93dad3bca95312a