SQLite format 3 @ - l l B77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info .L#S HOL-UNITY:threads=6elapsed=18.916cpu=90.984gc=3.636factor=4.817zXZ ִF ! ] ŗXf1-q恈r|u2_QM'8əj*f@ZbOaLVvfKyX)v&FF @씝E)Fzcxd B;HjP .;0/*cx^/t=ҤMH-|gYO>Fah~ *ޘ9|.i >䵏DSP zӉjwLw]-ZvfVҹ 蔈}l5ԅ]'P//;GӪ ͞2EFopZHE*zNL-wsq82Uagb"S0~=9nu/\=)A~u@;NfT ǐkE6Rm{F0^¦Sa[5U軄͎ڴ_xDmد!&@H&? sր:#)pԷ\xo4-b_a.s,_XVHK Y
6^ҙ
#꿐t(x)0zioV̌>6e
̠KtYy d=뒇OU zJ;^PhtRPi.Z-cb'R`>UMS
HOL-UNITY > G mu SyM; ad>K
=Xx^aRkotTtfy>T$)fk*vf CV[n7+sPt~cc4C6Bj5~gZ0}y9ϵK#|
kvV]8B2mEL<%Xht&
&oɾxZ1_zja%1b d~;os+Q/ݠRڄCTsjhleI m>Xi)af;?Yq[P{ NCX
b
'QM.&^>~f27' h=#̪CMu@ts#VȀ) R[՜ Q6u;7y0ch#+VgY &_\w