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 ss 7 4t\ ]% HOL-Quotient_Examples:threads=2elapsed=28.377cpu=35.744gc=3.048factor=1.267zXZִF! S]ŗXf1-q恈N/|p~p%++˂z.AgscA~T|rkq$r Wu2  `gq|$7Y YyHI<9O?ZѻmXYQ odAzc\D7J\"B%$jQ N\#<&M%vX}7Wu~DSi(6 O[.H"hXp![UMcTbtP^]J.]3N(VYG\n3݄DQK&:O*.lY *'@./o"; Zkߵd(H8bp=v2qq_\9jځL/ޘ/7{䭋h\(vVf.7=жhdjWv~>R*3d VL3FZqwm<wofKFZ-&LZQvY33@m\$kqfMMq+=9 3t~4㠎oST4WP"^BfsIŒٽmWyxmxU 7ķג*H2'FX[ JIn./nqcQC|oב`tf{v1pMQE ؿA{bkmrZg3c)ZM3(J&&)B*Q( gQ,iI8Lr*NLO=T٬H@E~s)&4 p\A oM#0`i:pT -yK 7PX%uO͘${#ǹn)O87rRZ62͖ #68vΦhzH,J待EMԜXB{ YѿE'DOHafce\8Hu%f6uE܃7W8^ݖ/0nh W吺P|Zo:U%aYA uL?[ox {vtlrk+*51MǻM} /!k!e޶,աah,JzKx/.t%`_c~'ޞ7z> ,CxX10h3 [ o]IQWr;cӠq%\j-@u>g F}K{SeeٻJKn&f N0f`H?{!,YrSg6{◷8Z#׏ѡv`j>5ALqLʀ6JgCPV2l#MiY:>r}1&ks] K?XPKjg9OGP!{3_HlSJѱڳl+zM'oC1'/L jM\fU!'2O~>&$*#t3CE]ަʺol} hr