SQLite format 3@ . YYQ77Atableisabelle_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, "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  4 k/]Nominal2:threads=2elapsed=38.388cpu=71.280gc=3.500factor=1.867zXZִF! $]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ь)i'2"6(yw{`fdO nr>ms;xD9, .BUP!3 K,p53IP{I3g$Y<\#&{j䮗Ò V$(L[o ?[ Z ٦|~0EV+ UN{f!ԧ,7q}=Xc"[T.2$§C=cJ!]C?mjAxۍh 3H!JVȎZ\7HO K"ft zvU&䛳YȂӟ{u%uJ>G1nSYX]r~)IX5c5UY;dtl 7Dz}U"aKg$rJU-Y9˖Dk =`:#A BL I>±gYZ7zXZִF! Q]ŗXi%6בBRHҷ[֪%;UQcp-*oUh 2Ҍ^0MM,~"?VԎ[%"cT/IKq}}.Ř>a^^1l]sZ7n91L(ʉh6"wv(/,dXB7* `wCfBtűuk tNQzYjkdiphȘcFD@MHcR}8IuhZRYGj[vA:1ӮM^8پh $IRm,Ôt\N~[.^ X|oƋ)0=&o]4Gi-sƵcEΕ]F'UUX4s&%-nŤ:V+ZClrB`N|i~oy3 *2&5fؠNCyJ3D X鵋3J0J:8+ o5t?wt-YJ,ģj4BJG[I:ྙB?1)g- ,2$˧^tkn T\n~Im>=fC8>~<`:+Y =:s1dwnV2 _e|Is}:Ti*es(;% c%*>hJ7\0UH`#P}_vT# "Y)Lի5qAhzo#E6jbK;ݢDqDC&m_\gx :ACxR4׎q^7G8hl_Xg[l\VA԰-*$GO*zx N^ j}Mt5HoR2y`FwcAd@{IGz O?2,HT<.ۄQKȑBCp.dLuqM=$z[ԪAeui"9Og3*ʧ3lwSHx:]K#TMBxuFKq ̼^