SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p=\t w Tail_Recursive_Functions:threads=2elapsed=4.481cpu=8.492gc=0.388factor=1.907 = Tail_Recursive_FunctionszXZִF! ]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it6_KU&Us0ox(Cǘp`υIy~0؋ɣ{'&Ċ0DTIo4ТNq~ '+YJTp_u")| T,/XQJE;!tT:uxB$ʤ묫 9@<'%qtc܍Oy eGreG P 4 ̒/_SHq3t/0%+f8_Cu(w"w.Bi kʆ/FdPtĎm *YM9Y!}EC_KH]K_*/j|TC&#q, !j݃8v|3չUtĖÞdD2thgPr6xabh$"uN+]`&,~[s!Q RUJBNd֡V.$uw 'D<^O91%+K6*h5r /6o6Vy J`l;{tP6pT-_o%߯x77`@0.[=fY'6V/eu@ի9^3 ,!"⩍{vő,$t)XE>†Uw$?$"=̮g? R"Sg]XǵDfJ`~#G}e e-ۋԢVii-9(Z]u.!l|q7I}3i?-5{n2h-4hNDJ`]~(˜ α;A1ݲ .nQrX8i6j7 xoa=6JUvm%`]'Q[J ɵ͗sX9+2=ZEz}uH<㺿lI "u<gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 6b54fe25c17e1e03255fd813a68f92c620ea0e8d 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 efff4aee245ec79abd34cf37075c419562228046878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12