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 ! L ]/]HOL-Word:threads=6elapsed=9.208cpu=39.976gc=1.568factor=4.347zXZִF! V]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y̜)]yf7z< "KSRuXryJQێJ o(ֹ%ȗWUQ]55@NquPYUmq9*ru,"/p'd_OF4g yn \+vC̖a1&\.mB2`5[/+v!G+ g*RwG /'}t[ۤ?¿W=`N-wt8"YukiUAts " aP*`7blS޸o*poWc=0vy###.]ru?: eu-ѧn/U5Ǧ"{// x)L"+Hz) Xƕ!17} _"HjE~G'88NG/lS8Xr+6<{8gVݼ[ @Ѫ{ԑu &$#4gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.Alev= Frs4W>` G8zg UO[[u /=v)ٕ/[J x4']M[3զ6-`yi!-?`fʼr%PqNC7%2k.S[+1Nmz:#cdWd0wa\taAxA<SXUCWW-=o6M5` >L$yv]!܉U2zTrD/<ЗS Ԡw&ЀVD9[ZH+GXN.cF o-gYZ7zXZִF! /:>]ŗXi%92U-"3&:?,GVnLB_/ 9uMjl*A3pƍ# &y7#ZYc 9:5p_9y4E#9xIO3DZ]$`1V ={)tn 0E,Z'Y:{}s=N~]'_YEq96PMT{&=)|ft`a