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 cc3 llt ] Presburger-Automata:threads=2elapsed=31.364cpu=54.860gc=2.200factor=1.757zXZִF! Z]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>!'".`v>SIWDedk ]T31K(nj[]ã:=EvQzŔ;x$~(< [4x)Dl*5+h&UgJs0-CNgA%/W.ϵGp}};,0s3MȢQNƝPNx6\{Ev.eЦ#&l8RUB|7Jb$q}_/^_Zq_5V& ]}`jQFhnt>\tG@ MFVzt&MFy\O|gElC^04#1&UFCs} bWlZGdW(I?WT6+oL=<9OjI 6_cieXMa1'oVoytetdi/l ,oʋ&Ҿl7zÛO6]MYiqmrL'-N*מ/ڜ,Qh8~Be2ZUiK<=n8gӴBK[ZIi9 5gYZ7zXZִF! t]ŗXi%;i"8C5C\,_ cgAסf,?T;n b`LQΒlWdzSҗ5T0Tfcnwhڊ BŬäw LEcr5X91R$.Ie3;p 0W֊ >Sͱ.-Q//MW6<"Ҡ˸bml޺8] dUL[vl"}YCl5WqVe97YvUMi4Ko tmL!4 Tr-v'1_OvmI[bvВ?\ۈ [PQ' pHCem[o8>E]iSB ?¹/.C\GډwPuԊPU_IW'_ _`L[68yBnN7nh{6B'%Caݐ^ f!f~jAUh:~ ZtIգMcFh[ m`aozx[pT6?r?m`lLӮ언:4YFNJ7דU_ixOtD 0Qe$ḇYBV'fܶO!s۰cz4rs 6pyH)P74e;>4Jr>y&״'8StT7B(q`ہ4k &L@AR}#TJOew\[OޔB<m#_`VgDU!jq%k V!3In}2X[~:GhiwDaZGy9<']c zU/1(OӡCZN0 Z\A#WPf6LCF)sm)m`>#Q^5¤gMzj&~$&kflV)+:OCg<DzsP]<#ƊIhg g~9Wgl4>ǯQ :h+{B"]剎`u]RxIgAGׂ?xD/{&&Bp0jd q7 nCƗnp0unMJgU,'*gYZ31843973063d609e7f390792d53e3d92e3cd045d273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 3 Presburger-Automata