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 = 4T iS]HOL-Nonstandard_Analysis:threads=6elapsed=11.272cpu=29.744gc=1.040factor=2.647zXZִF! N]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%Wkj|@u*,~sH+i}o>Q }<< ?W"pb6S'h]y@9RpAG*=m4~ͨC4`iN3/Pu6Ze 7[{5-wϧ5NW@3>"kEEHMN,l\,5fՉ( x59?8a}M ŸxjW7fg`UR4jp]ʏ.a8k'bJm#1݀/n12|r 4OY,WYG Ͽ+=|~BTlacynY|Vˑ& mCg  {GQh*gzϔK#ept=hC4_N{x\gYZ7zXZִF! 6]ŗXi%Ug NtCS~ɰ'ZIH~n6=B2f<=k4"?,vi g,*qڠ` @71,'wSDehl(%b+zf ^KTO+ڮQ?&]`/gw̭WK ?e6Y {R"~rS{t)) @iW-3%UdgFx i 40fgKDWlo{n3JNšׁ25u&}[)y֠= LG fHPkh*2O*E иD7v-YGcǠqR̥q ZzH]3v=t+ <&{?2TL\y;R ;Lay K 9'~BS/0j&Ұ6͖cvA6:2L ˫0J ]n~ˁK6A+OxB"Y>?q6 #]jf{_}v^h5ssGQ.J-3{^)<°JA06F7O3(gC:J[| ј ׭ +m)?4%:h:՟ϫ,WVdFEjCV[1!) 2fgԵxmṘ8'ry#M5 [OVИO._N.Iϳǩ뗞LuYS@pRݣGU(p]ubLH2`ր8Ks4yauN`&`92`7Rz;a!5Id(45O@]y};=i$hD޿6ͼpf@d!CB|VFX'tܪ6vNuu8M|ɹ1x]L-|0|W벰s`l`_1gYZ0c99b93a63f59cae01b477a7dfb7210521f0b549 1aa94fc90399e51879da50dc3e3eb81357662021 25d26263d9342b6c67c6e83d4a97eed5919fc08a 29baf16bb2ab37db0778bfcdbbd6f85564a23664 378de236995e551c50ee8d4d0e3110d9d2806c83 3a92ed7b4984fee2454b05699802efdf9b5e745a 443c1e93b213223f55d0433f0845f1fab7a4a144 47b4c715350dc7eaca0d654f5646afb02974e7e6 5b6fca7aefcaa31fd3b89c2fb6d372566e27b3f3 5f7274fe976997cc74421918e4602e777e6c3cd2 61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d 6fb04149d3c770dbc0276000aa446efa9c35a61e 7f0b70126c5c377b245dc27c69f7a25ae9ad99ac 896dd418ef164ace044556017d747a73d1c4944e a6752ec4d48aed1a0e20acaab058c7c27848c474 ab23e5d88352c538f7e132529053943a367206b9 b3e662627854f33829ac7a0523d5129806f36350 c0482ff4b665b14cde6a846ce031a1500e2e2abc c2bc0c4070ab8dd0f699c5e4a89128c973fa3ad2 d92425eea105b871c152b4273b225c942cf69f58 eb00b4ba0166aabd0d04bda136445ae6bdde666c f67c75f05cba8994d57db1503ec5cce6f98eb2bc fcf7bdf4fc9771c0fb9ab5a4a40f6eb483afafde42a610eac52055edd20b397cc2bcdfbf3fccea6d 5d5eec6773200722f58216cfac748b75f4e5aca0 d547498eaf2fed480410248492f2771361f8134e 5f6b2793da65f3784633270d2bb3bd8f496630f7ad5e30f3816e31daac3881a15314f0afc2191190 = HOL-Nonstandard_Analysis