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 6 ll| ]]IOA:threads=2elapsed=17.414cpu=32.324gc=1.216factor=1.867zXZִF! "-]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=-}8kz}R-T6n_۩zSh-)kCr']tpaQY;yJ4MF{Sargq?[Z[/m4 z%FN7 KdjZi?BzzXj2+Sp8k^-x!g]^Iϰtu}e'~ϸX_UA _#78O 3BGHAt0ϑ4?U@"7>;eYw)S8䆦pT]ZgT+/Q~y6#\)Q|d >XtД}l:I 4ix·~ހjÖ\BY**ϿRrӯܲdꠌ) &83cȃlLºslɨLm__ԶU-^hKR\N&?q5X j͡ggYZ7zXZִF! `o]ŗXiɟdN6*е59,tYW:aF)>} KDhl 8#f= ֓gYZ7zXZִF! RC]ŗXi%9(P)*^5a ݊;qAFx0˜0]+(Lg< q i !B?JCd֓I ,ϼteods9gg^J3 if׈FZow_ UahUf"qlcX92}w+}lv2!k;Q8񯃝H̛>PF^z-Me?uo B+1Sf'5kB@2oM_+fNH\. p8"aL~dd%6oږ+'w;vu/2|vByv_`]>B% ^E``=j aΣE]x??$k?>=p#'Vi Z:OE,}Wa-sF\} (J6,#Ν g6v<յ.3e(QP9 9OPRxY@a2}(4(:BLq|nrҿL/ZV*FdƖ To~57MQ~Nzx07""Qد^LYg4+󛂿2FQ-g*G2sյH{{ꉘնC{LJ#>a~}\A'v]K6ZUQ2Y+HcƘQf.38J\2Kh3A~3fV@i@ʟDbEZdEKJkH&cp9faFF!7@zo晨 X* 0Ē19=ۻ{EcEMqqC2m&s,ߐӅ#"S-_3?Lh(80ZERg2( d/OȻL/&.4ԯ}Njd5¬zG#f]̉@-PxEhgsCIp~}ʩ@dOGd_t@ ["m1;*Hp;;||J9K)T@0<-ON]4s0uҖ(;d7WheQ\AlK Ĥ9UygYZ39b87ddab8ea074cd9ac467130b280abd9fb68395f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 96339ad3e448408f44f70a6cb27078e7237b9ce8102a7d787a6de749468c60a756388c2a62822c44  IOA