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 YC \ % Boolean_Expression_Checkers:threads=2elapsed=16.996cpu=29.856gc=1.864factor=1.767zXZִF! %]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁar̽BzUڱx]ogR] KT#S{wRĖ25wΌɌ6LY=>, yvAssL/'J<) z`Bѡj z_=mPmM)ܛx`tyL5͈Y,s!2ȤqE:z]hɮrsѫѾd_+؂û1O9~V @;MG8i*+&ծYxYN MDp9_*(GVC;q?hP=!J:ApYض'^Myc ~x;dl>Ґ!M ?6l=As ]%Vĵy1GV@wDF+JXݗ6{pPRٰgE'9*n &:5 ~!.N>*8omoaַP&[+I gZ2??ԡEc5qgYZ7zXZִF! Tt]ŗXi% 1eZ SDO6eγqdOEuaJ' H#l`K+6ˈ38t@.aמI#+1n2HQ.4G< DWjJ (knmǠ4tQL~r)3!jnܤY{*g;&8d[S^ge 6*V/ +WB>n%N3o;o~`$ }yI0xЈ%ƈ\M \wlM;(G&((jn*Kƽua D]I'NM[=}ucs8vm{hGlF1juBt#,ek/eԔ}. SLLǒľHA?;F  1bk'\S}R[fQQpUj%Olxpz6H'H,E!Fpn{|1NZ7ɮZS-x!h@>B}u7r5}]p#љGΎ r?j=hRZJ Yh+h25©'JѓT u>kTO _X6;]Ƒ\A[ f`!>~ZhX䓒,JP#J˖e4+]V9'#IaKէ[WimC,eLN!nu1u+6DPʹ4{ b [+QNQEc_yŗ}yKJUԒE_;eC5f 54g8Nmqg}iRD!ͤH guhaX7NZ&Au !m/"ׁƘ4^_TXv@0oԮnOI\ /0x;xd PiE%Tŭ%NԓpuhM];Tt!p U"JgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef C Boolean_Expression_Checkers