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 ZZ# Td< ] HyperCTL:threads=2elapsed=17.221cpu=27.524gc=1.360factor=1.607zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѳ}I/܅}3V9Wי@9ҟr5%s%sح^d 0vIc#4gYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWyglTS[åAg fFZ3<@@4[dci8溉=7U?W( a(d;-Ա; }]꾐FQ_mA60O.$p[4VK{8gYZ7zXZִF! ]V]ŗXi%ή++*_QştA->8}fb_p?K8.QW-fFJY-˒yJ{Ӫq KQMFV"m`ص.,:ͩ8@݄NԵ,3õjUdϨwKG+J yoU|y2u\#%,KiDF/31+"އ%v[Z`+Gբ5oew.NBNc+I$2q[s84JT^|!wHnr`AĿ=anC QniUOqE|6) DlL.*ј١qV8(!)E! ֙l(ܛ#8OOʗffqDW AD2Jq%NZ $-^Yru<;٧HQm7#u8&J-y#"rrt}Ўqaa⨯1V7L$Ax U:u-I 霟tß&"U+{n4*cW%A($}܌,*:Ufg-_/ 7J8jŰPQ(`ϛdfWQnU"b #dX,&+V)a~%j65xd+#/Q`ٛO\G)S F!}[k:$i-kلêHycmխb3BP-›=dHP~ºK0xco_(B%ͩWR}GھS\G4Xuv߭Pj,: `zH/(?4_F]@7I*!JB m21؝'Mp&V qcxArد7Yhd?KxBS>2D<"gᢀ} ugYZ17bbca0d4c21c407def162944306e169cd492c5300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c   HyperCTL