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  A% |d ]/ HOL-NanoJava:threads=2elapsed=5.608cpu=10.104gc=0.600factor=1.807zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/s}3i@'}ȣgbQ.~1TI~So\L+34H!<Ha Dzۡ+TPZӍc4w,UPN$/8)AֿV{ UF7AYN}R Ѷkh,YjJٓմmn=%(#G#pdQCv<^ k grgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E0 3&4^NڲSG/@3 MT]=?JEc.;Gog!qmTh|vi  1"9qZW/8bX8ձ|F `|毚D5=tVgYZ7zXZִF! ']ŗXi%;c$ftz6.~&0n܄ۓ6aa!\>"| 1I D[ט9%Sb%Ti]~B@a, xǽJ +(YY<yLcD%m-HI=Th{6$cӜ~sBh9o&*Xa~=rzM@ yFwXZæ5) H>:EÎ flyl|B@3t@6ľC{rĥWMi[t8s"o3!ՎO"UG!z)ޖ ԙ- ;,WOL1:P<"U|{4LNv_-vpA=(A$:B{y.Zxvq+gҹLZ[e`+ ě50BST.ɨ_@I*e7#t_Q\H/ \o.{}ŐtLF[RTڪf8X%>XdǾk a4}~nzRiWycY?Ǥe S@Uw0'@z^:5DWpgsR*/Aށi7 R=z2>ꦃF6X9zC\xVx?rA Gg>tKٳ$CxZ~'5 򠒉kka<vtH=>/TU:C6[ OʠgYZ5fba8df9345a06136e75932a4152caf5f3db0ef962b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 % HOL-NanoJava