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 ..O= $T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.467cpu=21.412gc=0.860factor=2.877zXZִF!  ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.PJJ{)uǬ09Ӥ D!,A4sUpcMAlXS φOSK-:B׾XyxG#\"&H>?vO$h!,[VGv28(#h:v5_&RyZ]0Gh|ֳtGne "bgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>mꇼb?{DŽU A%$n+ 'g6nTT M#{}W۱#P{VӴ[Gi҃ȑ+jz2TE zYnhd3HTp"8.7sv5YLbt%C<;{4@NfiY°KC5юht C"NFuy,} {ʲ!U4,2 ~GG0P!jG;vS,9'#I.5BUSA_-cn/{D fDZgYZ7zXZִF! %B]ŗXi%9$r!c-0F29q+U W} ?vW]='ƭt蠻W_}b'B1$!r?d,G+ s*1񤆱)V[đ c|EH!g8 }<:Tjz3< *;ѓSW{w=g_;6 HqC+{ۏٌQfFod2۾dL(u+c`Sp`=RH'Zf[ |UK4_o0NFr.gJ>ܶik}F|?&ⶲ4'^s654Zopm5?H1iHlcv_ÀGtd#nL~15XK|!* Z41e0Ͷ َAIdO]?ݱ6.֚J%>CY2q<&Ԙ P6i,lq |:ULYp +uTFP0^HIy1~+Cz[?FHꑭFh;qDԛeYs0:d!9I͑ j5:"~iӏ¾hozj/(r>4O^ P(,3?iJML{f=5TRfdKܛFKgYZ469a051dd8f67ce735e537f4d90587c1d3d813450d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a052341 85929f9c8e2fae459c936d0299b375445fc6a129ccc696df3001bd972fee38677082d7d790898e20 = HOL-Nonstandard_Analysis