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 ~~= l\$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.167cpu=25.296gc=1.072factor=2.767zXZִF! o]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB700ljʇ}4x N}'ʦDܥ g:EȺO`xF(T=,RHPA!tGݳqUz#<0BD>++`LΪCX+N7#l5>}6O`8rЪyP'WK{1oZFg1n W6!sk)֋@ԄIʄ\ad2QEZN?2'h1@/ҽl@/,sSit% :.NkVy|JgYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>\?#j[%֛ ꆲvW P l?1 4 ֧k0%gCޮVdؑN z4K``>N@蛈gѠdSs:mdLʎbw=Ha_D5nmjܘ솀s-d6 $ Ѹ$E|.*}0f$^[F΃ w)T"JQ# Zk$*mV9m)40 x.f\m T_&&wN~V8ѸvKT ~] ]gYZ7zXZִF! ,]ŗXi%ыX\g̚Wzz#VJQ+uC]=O-٘ciQvB7+M!R`<ļ&D"3F㭏5y$o*5h SM-YwbvHK&1f 3*$ID A@sxh-TΈo]siT?!kd@*czRrQͽ15n@"kiTswVFIDI퀥 oҾ;U|lomGa ?zCqEV~8UBF/L5K) K36x7#c/o5qa yԅr{]ڥ b*mV5cj (A|k+N=>"ey'}GbdA]eY[Qc kϬFG7^LT¢a}j)ֱJٲ @V|:R2`vS-a+A +wO6To[Yw/V־rBwj#ḓTs`,} iOzW;­[& O_hibͨih$ fRMxxV`4aY S.07/ CQz-&:ϙbhRcV#mYSc5y)k\4/؁a?(Zy(a_j|'hgVd=җCڵڈ a 4jVe!>;)׉<ƨsw`7BYFyE2gYZfd11cf7d976b2231b5498a9453c093040007046f0368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c 680c999822779f6c5360ad6bcf5fd641b0fc1344 f62507887852cacb3963de401122fe7c1dd7d078893c109395ba30c099497db5a9d0b15b18fee9b8 = HOL-Nonstandard_Analysis