SQLite format 3@ . YYQ77Atableisabelle_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, "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 .- d| m HOL-SET_Protocol:threads=6elapsed=21.855cpu=89.540gc=2.048factor=4.107zXZִF! (-]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3G FY֔h^U4ό-g,ҲsH͖dFcNc,~q~֟kAeAܒ2`¡|`Ϣ۔|3x\ ;]@]{) s $8XbHB8Q̯vh ݒb($.{0hX£0psQ/ v:ȕh>#"A5Ra0+!A܉4v'ĻXa~jL-`{u IQ&J- 0'^7dX`I((Ltsͽg`r2!,@.\dr͓HaPEX  [՞ &OaCg,9_:/SMJeHf VE $-B&[Mi_./+V.J՛B Ab<:{ ("uj70vzE1y+${kKHDx-NcGd3|WɆ {.x8a "HXyF ν)!8)k7\ P܅i*=TN@13ւ}xmmᾏҨc=Q kzvsÓk,oXGן69dԉ7DUC?(GH>.6fdsj2PMgYZ7zXZִF! g]ŗXi%6 ʑ3;_+#PUb} U} Oχx`?V]G]N/_Qj\]'liP6M-_9(dF""fS9#T(dz!|K;~1#/o2tN3%0=lY!9uIƛA`{&?޸ -]˥[n̾aeՇ$s\U0_R5ɢTut"ke%{qwI{`jTfUpLJs-gqcbߧ}% 菧/'. P 2\} iY= |+P_"; #AyJB%k 4eȾwR&c-Bnv ~Vi W|FzL`vNQ?AJ<_9qN;XK8%"E%Q$V, R?9䧠ӄ${g—8hOhdCyDOKXEmPf#U_ے$Ec۟j2"HFF4$63h-E_rĽuZJL;2܃e)B d4e0$:[FVCRہޓK*Q2oyHPTqo/+̻yy<c6{/; BjĹzVuCXW>li(.?@Vg[(Aʫ ޼I}x3UP޶P&c{q6O~ fnU\?id1H᪢S.j/eY.T^ ԊY1mm0:EyX1nI[ُ9QZ':laD%R\ukd8X渫F]iM JlZ ,up]\wAvLW xRˑ܋U>L~7kk,3j̗3Id*J *&nl[GlxXH͈e}5"`jW{acii@/v%s wgrX! FaیK>W^;d3eO1{pt3wwO sMO /o7 RՉߍHkWISFpvh.ԓ ~8'r߉Ԑp+3/j2 rM۬ôAp]8GÂ^ KRz A6?b6q؊#B)<wob tBgVHe1 ]Xte˚Qyl0& veCz8JAM#,ҭFk#D I\7S⣢EG$a`zy2@oB ix M]!z"}'=U׌JF2۳ y"'gIдTiےb/