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 ii/ tl ]S HOL-Isar_Examples:threads=2elapsed=5.557cpu=10.252gc=0.580factor=1.847zXZִF! 2]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9Wh c{A;zd﹩$5?Ɠ17;O@)ih1ܜS>; {Df0}R:\#ֱ&njAa.\JPy: s)-_):9L%ةQ {=~ W!7ivI+=/*Ʉw)|CgOV ۩ 6gYZ7zXZִF! o]ŗXiɟ1GBSp26llȄ)sSd#a$^Rd9xv -y` !e3э$7hnz okZƁNw sU(>fZO@#j6 $UAТz3 ~aXb:[[s2'{+$rl]'f%^5}`"v|# a[=loCnkrP_k;n)OQҖ_! 2L\`{H9KK ,6\V/ByB?~iNq8.%pO14AZ`a ÑO@ TЛl&^"Sm|FS {gYZ7zXZִF! ']ŗXi%9(PKYY"°{ cŌb qO}v^FQmٱֈA ;=#NȜX ٠@ß&#m% WYLL9w/s[8Od݋+ptcoŸm8^'Bÿd/R"Cر9-}5SB'BtvFI33,6gmݩ8N̰mB`Ŷ}ʤ{/ (9{w]lX8>B=,ed aݶo祎eBOhYԀz5Kg:!w5,lN;?o>ܥW>j(_36b 0c\Hfvb7UZcs̉Ց7Fs׼ ".6AwY(ީйIפ*˧ΰ=DxYתf>^Hv-j ެ'XSWWEǮx}Պ)7φ6u}(?l`o79hF;؆SyuIIQ-7#=~꪿Cs"лr:Y_tO Mms Z/+D#^hW (z?<53xѣep (ݢ BhU:}猴:f9W@pR'l"~kvO{ @VY 1OOZ\ogYZ109e67a1d76ee5806c2571026d69b8a601ce0fb1f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd 591030b2674ed948cabbf98d0f295c5c5325f7ad / HOL-Isar_Examples