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 g= 4\, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.533cpu=26.292gc=1.424factor=2.767zXZִF! S]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.`K V7#[7;dgd/d$nn ,ACCE >$gau%[9m2D߅1D,^PzSAҼ2a}S921lYAm_L'_="H"Npጋ}_٨rvϨc ʌ3?VSK6l@4Ui-{t~[ge(;)kW ztKJ:agYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>]8qg2Rʨcw1q׃E>aF& #}y$z gsJ(݌ר19iM%:McуI:xVؾ,_f᠖Ϧq赤CX}bPB:*,Uw⌆{{1a!:"ے/Ss:(ZQ҉?sP2>zBg8SrotPC{ʅBR^k5:^W52P*;NVHK9 ~P @QEMgYZ7zXZִF! ,]ŗXi%;{Y|wW }`РYVk?*V >3Dڀ *rPTy~pHTS9nep8#*bJ&z%.+bt2| Z_Ӡq*'VZ-8Pj'XwHZ<M~TܙہsUQӷҤG CfH~t@$s;Fg)orH &lTˏ^'7Uԙ2,lÒvCl[km=3`I/Y%Aݢܹ%:_mS'ٟ=hԝpZB3)^6ѻTݐ`T<G\PU}:qy}j!JE,!0Vb~b Q݋O7g^T:>I>|J[?S]P`NVA>|O x K^^x+bö%׮u=A;ԂW6?Q[AEC Mm7J%u_ |Ϸ=pH]C %^ sUdNĪ~qE+a1rO;:I9GYJ:k .R=ds,~CPҬ;_'+-g.7]y)4QRw[FI1'$2߯LYigYZda14fd3b519091e9878d60d72bad8b855bf35f61da36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec fc50af8af4747fe4fb2fbf997be512c5134346b4 982130482d32ab9f52fe75ca0ef4f9947fca3cad5f427c3d820dc05caac8f49526e4a8865a33d2d6 = HOL-Nonstandard_Analysis