SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ^^= \\t ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.242cpu=27.024gc=1.328factor=3.287zXZִF! 'f]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.HN2o>]gvR:F7$AL<b_P1"Ee I6A6ɜӟ~gZo*PLD#ilveiRZq+iIboŻo~F+k)pitIlJNJ,[Kx/IYK :KoLR^4Eg'.%$>{Y'oU\gT1j_zZc Z^S _~R&U%er-\Tөpqmp$h],xDtCgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8}+A9/*qt}zF5{ҷW˞iϸ}08+Z  Y>y๠f `N){_4m(șd45ry=YA#}Pb|YZ)S[;m$OqXF o,#(hx9LY2B^kgi|rr\LbSk0hX+}xdq LKߏɠ"]t{j(VB%*L=./8R]j[8Qezm1yln*[ *lZ_ڤ5} lXV\@ +28 ?f#%^&灠M3_qJcm~r&X qfJM>i3\o{@ DIHtb\Ԗ2 m5CӧzV2˂ CW sW:Ci[U#x Iɖ# @ *䦆{KUK!eƃx0 /5/!N!K59v._1hV:l' [{)19ŝTV ]V(yWr@RX*gYZ5704fbbe4088c2afc8e3ef38873fff4e15feeab0b9edeba120fb42027fe4e7015d7e67e5df110a4f 9f89800180bdcfe5023b0268a9e9c3926bda19cc 99bbe8f4bf76e64fb9a157c64290ad71dc34be73 03209ce3fbddaf950e08c23a0f7f8e35a1be792f96a98f226e0cd8dd95fff29b877bb492739005cb = HOL-Nonstandard_Analysis