SQLite format 3@ . BBh77otableisabelle_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 66G= |d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.527cpu=26.584gc=1.272factor=2.797zXZִF! w]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa Khm3}-oJ?Ң|>t3d/-4Ϝ=A |# X`3oK]U4.@D^{bp2qcS:-E^[QB=h3^ v8L^ck\юeZi~ X[J&pdL@ʕc"|؆EE;d9Hn.hǨG8/]58! Ptewt7Y _aAcY_;rb՛]8רNVQ .҆$U\%NyYA)H[eBgQėEY놏mf_Rc]$#΂Dv4 zTv_b zZvԛouXm @R [I&,豥B6ۛt<`3_U E}:RSCb$_^Rrxx%oڥd+G֞!e j-azߋ qj~Ѧ VֱgYZ7zXZִF! / ]ŗXi%96.>_6.~&0nb>=FA|WU& =}N_P(ko@zC#QK_&5ҨpdKBt\Υ_szCӈJo!e%`W;[y\i #R,Z@ фwUDegz|G7TdxMW^"v,3XZVU5@)C#$\J hYVhTA/\gaI`ʙϙٔ'#Շ;ڸ#w7b:6urv5*}SX!LE5R{q[b/sdpHt&{f۔mR255Jo*1?/,.9 O$j)ߑF#ҪrV͆PWhczM!Y(=t?x"8KGgR9I 5СzDWjT٘/L`r]+7 -eQ=Z .fعm\'nypL2Ѩ7,^3S;}L[Ğin7O}BHi9( ˭?Jfӈ /3F)1߁p3zm8RG4ZU&u63^SgYZa1c6d51b67523529ead6e6373791e07faef6c72fb7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 96e7d01d2e8635fd01b39dbd704355426dd3dff7 3c1c44190330e7aba9b8ddf69cb6f4789ed77b45f05c9e05eb593a28d8f80c1508a01d452bf77feb = HOL-Nonstandard_Analysis