SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 SOpE[.Ďo.0p8 c%i:.IwՑ{)} )LmVP@XOgvWbNt|R߶J>˶Faa* !;k3]19(&&A bX Y&~hkPDU•D^}<+4<<٦͍m҄޸3ħ}_TxĬkBFR:!ƾv BǮ/V[.it#so^?28dRW'zL%%` 'A~NPډ\޼`ˌx̆c_jGq^#bidoi'}~zK?𫲗6CiQj+o gV2GM eWT+Z)BA$`;g~4vGGEƹԴa3>m($lbYm׻O8 p1ȍ kD G/{܂\w<J/r( E0+ ቆdLd*\ǩ%?XsFX7rV-X X PDN"m CMP֗ ұK qVa;aVz` :Msu'O~< !ﻆ[ 梤g/'NEq~t|ZܽdU~SixIE(4j ӽT)Pj2Γ.K6XDc"WHU՜[8JD%R1YPuE)c\:з;,21R\s#M=ʮ\ |ylFhdtصԜS ʅݒ6-% ֶ&E־6poU!/'VRN>Uۣ!M&9"Cŏ <6[g6FaI7qTO! . u:&!h}Y$j"B% k%GWHӐ|,Ots/χo}dUCbԣ<8G^=/'HlIC2 4'/P$a0:Rfh ElCz /b&ﮆSiղ.5[?IcHa=GڹEԂ?2KIŴE$)a s~/R:-Lxsל"vGDJWLN]^k-J%UЭPbRUyWS a] =V!QXvJ+΀')֍Ʉ`lm!.WT[mI-%{Yכ[ ov9Rz8iZf[3YͿ1Z!IB(9h]s èv!F.,apY> [)%űY϶u!1ǀxm87)Z<.:6?^F'f0.`魌(2e[501y䮷ͭ!G%G g* ޹)79H;G*z~GdsQ@j> f ٤/zf{#ȻH@ 8Rt#Vd & gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.851cpu=1.692gc=0.000ߒLw_,}YZ7zXZִF! ]ŗXi%L& Z$v$ /BuzT_D"7W8_$ DqQUNy px1'\[q'!E8mc9|j21?aNHe%z؍ɐJ$+ܬJ{'g` M TgF]oVH#ze\2 9ppPI8t:0KHJnmB\EYͲ`;[%= H\>kȤ4 i1h/W|B&/ wl1[ X/u=icZ_9th"<DVke*ej ZS_ vx1ҁKPB!,bJߣR%:ALriTqZC‡t͵C."@͸毬r|۔)h^2E0: A̞tfRMC1쮛dRIgYZ75b38a5ea181181ff85e7c88767a5d8a484de0c29400524a2bf0062e34657c8242e59e39ce561b20 8112b346d345fdd1df303f366f2308e1ad40a1e5 0cdf6980063fd1aa93caf0f2c103ec507c60d585 b45a70c87aa9074dc5c8f3bd546eb3ddf2a303e9 d2ec361513ec29138feb5a9d025106122f96c128 $O HOL-Nonstandard_Analysis-Examples