SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ::7' < c/ HotelKeyCards:threads=2elapsed=6.389cpu=12.392gc=0.328factor=1.947zXZִF! 4]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}eBPUG`X}ؐR2b]wt+%/ )!c<ɂA*NGoAkz~;EP:+YY %YSޯ]o7K\)zRpaGmf >ct vTwie6[}؅l?b6պEjV6wgF+ilw60m:j7+hK' ' HotelKeyCardsw\&i##/۔r]Zo|h2P41F8+*B+({ϋ笟X3sj 2u_xȯ&q96LR6%>$L|7͢ջ{jd&\:H]u#,Oo v ➮z +G\lڀd* zJp< px%<>z1a - (u融tq'sw*nӅ:V}b60dS\trFn:-A IF_ev3f.,,SԾ W};q(ǓLǂ bInK甿OP&:TvngqaP^Q՜-wp,6L^Kס^y )I ʰK@8<kMswcxxRQ25~~O pϜ2kh,TE(H6vCXwGKhq/ nI"S(j|$~୦V]j2Lͨ$ĖE,{ Z#718t]~\VzP݇<% i}gYZ7zXZִF! ']ŗXi%22 ƒRM0Ѽk?XwdKq3s0~WSl`A]5"5tI8YP5Zfݔ>w8ޙ[bTayAZ*yI5#9dƢE}1yGr3aqT ck5nxX#h"Y9d-T~^WܛEHǡJ) J yBSXwQ|Y7i|SNw48$-< pKHMŅ13Gq6壥ƺ/q=I\R a'ùVU\A**|R UyHOēLF}.oQ|אanvAC(%=sXTQ<~R⒠bKðrI< #2h}y~1o;.v0Axxw