SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 //N' $t| ]/ HotelKeyCards:threads=4elapsed=4.693cpu=14.364gc=0.256factor=3.067zXZִF! ~]ŗXf[&qAn%?x$]lIu.1uO'x`aW)zus$*;kߊpT@d8F"_Pd:_b%Q:u$cGPWSHUvJ'ehj?$#wV~ؑ * K 58|>' ڷ}騇]m &u6 4ĉ"HR0@|., 1HcB(pLT-Hx/˶[ī]raG4ZL'v 舅af`4%Ɖ\ۙ8d ;T痤OH:"K=AP̾c zͶЯ(fjFԔ-٢ .nuk|JAGkh|\qGyCQ=ΫӠ?3H8/P.6"VgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AT.|XI 3CAY;B$Ӳ=^.-Q# cHQhM0NxD͘O*{]K%l!쾈g(]ff:N>ӋCB/2Ձ;W7ѱgYZ7zXZִF! /]ŗXi%L ^ R(& Rߋ{}o|č7=Ie%5oRJeq5}>ޒfNFӑ!9*Rg"3%(^>Ӛ떚-Hn>5][~:i5g)ič˳ [I:i&)*Ċ*r3qSLXY,*f>nFB<:^k˘M-UዷRsވ;}K 2 P+*ZuK5Zí/1L aOsf9#>0iG$t*D nwR- zՅ"ߌY_~'R@}C :N-oA)3ZEt(;wӘ$Vz:/< ,}^FwIM?횐\G-N5}WUv49upfS*N|e]C*ؽ:ִ3ڀHd b6c%3>yeJ{l@7^Zǀvk@t}f)HXX}/'AxaR'g˂$ױSY~u%ќIהWBs:kKA'/̵F-_UaUSj7۬`(L${*aVC0FEIc_h#=9^zV7l `b|permQ4?+o.W=j%!G`#ҕKi5~ksd\&*t>m&4p^\̱gYZ1e3c5bea7c6c95f18e9de63585bbc82e558d2959d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 ' HotelKeyCards