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 = LT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.093cpu=31.292gc=1.640factor=4.417zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<4D,`бpiimP1-rOfxRUq}A"Idюrkr"xf8 QmቚxW5fO0dqm&@T[u*r&ÚzBR0VwIClƭ EZgBg 41r@e fa՘;IraӤ\ !clꭟ$ZHy ;9duKUy'9lo]+8 6P 溼Ay!k Mii 2ja5ed\o Tba(q=*7e܃VpbksN?Yh6#幃q67 J3!?ʼX Bswo?$= #i[Vr'ڿPO"SձgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>DLp,̚,ھUwL0;P\'\k1FD`/8̃#Ӥ:,` ݐ/Opc[@YM@_ZyVV,Ӈ9a'fnb MLA尫JS`s(G%'6P7QAtÅ9L* S#8?2Ck n s WϳOr'I` b7G>$p܌DTUnSꌜV5 ޕo*Yŏ+GdP6~9" fDZgYZ7zXZִF! )|]ŗXi%J=4{:2*K"F;B "Dh>̭2%b *U*EƸMQ8cdrز^}jíON.HY͏G8u/ 9a\A|6t,3D>2hFWk %22,{8Z$b?j͈S"?4 ۶C^mZwbz-m)œȂ5]V-P9D GҕZ'S򮜙Tڹ ڗD?3N:-"J Sz4gYZb522a8fba59dba71dba2e4141f3fe5b9e05e9dbffa217b500e43b49079262f25873831dd0a8ef4ee 4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0 7187a012a9081396fca1bb36038e11b2c5517504 04acf23d83e30b7358e1f8b218c1af71f1ea7ec6eb03c30d729e510f43638407fc9c202c1ee512d0 = HOL-Nonstandard_Analysis