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 X= 4T iS]HOL-Nonstandard_Analysis:threads=6elapsed=11.069cpu=29.520gc=1.088factor=2.677zXZִF! t3]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W:Q%1=|Ht+C3#TW7&jA btd2m(8Bs(^O4ɕR2YRZ%  ܩSY]Sm֡ő|0D>E?rm}}}.nC6h[X01 N@dI3 N uY[m* wf}.j !J9䡖 `%}+"Ag!sAKo W = HOL-Nonstandard_Analysis q bE Wģ\Zd7Tо oplRtq\F,~+D#~ [ HQX&}rXu|UB19]P oU-EUAF;.R&b\@_PJ6j$NJ8$jVeXho&Ľaq{PFJXBspV+-pҬ\,0YHX#^WGm_" JOs7@l\%@`s6EFԅJΞ€&]_^$EXC=Ub ob=Ia7Z3b Vanwultn@+)0<+~`4̈́$a?qj8T~;]#d6qb@5&5=E3,DsD2Us SHTTqB_JPR<=w1Ȑ_.b'E4@]}1GL436B%mp5K΄+ڸ٭:[q`{Ev!/ҥxGJ7!JwqH8VDhqwзԮU"I|d2N"%M$Z2dǷ &>;q%ŴeLxݤ?zsNqteH;^e#;za<'t8&ţ+H=|6Dg ZgEAD7Y+&J]ǣ]ioYC'gҷ*wW@M $UzzY\WChU"9Σقk/M~[8ռU=n YCU&U> Zk7jK̀*{!$ 23﹟ѴRAQ(Hd[#ΔS@A}_KkNWԣ_mRt9wg]jE.U+VGw /_=Ѳ,:Y /Bl2Y5e_ԟ4wܶ! Amh(! !\$-# (jzn9jTv:MIb:2 zNh#"C€b26LkHtC7W#`NTk-DK O־ϑmv15sMB)9wcZnҲ;\Xס"?\QPg{P`WY  '׎8[z0 2NןAnPr*{#AO|J\SWf٭jG5Q'|b뿘bmf-.; _pEA|W& v;B_