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 RR+ |< w/ FinFun:threads=2elapsed=6.188cpu=11.580gc=0.600factor=1.877zXZִF! ?w]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6QPk?ե5L /Z9YPzM>-<Ѫfnˈ{|BJV YWP ?U zr&tOަL<?H/ZT4Z5 Ζ)IVĠU3🯌 l o RTAMZ|]wKHNIu) >PY478|mJҁR' ;(ckރ_ 1 ।ɕ~saKNzR =X]K2硬NՐNVnPA _'cաu6b~i"i`lavj1q$!/e/cS-4,uWL )uDŔ)ՊY͐nr'Ӹz*N.B}0,nd"HV` 9^15@YhVfk &lc&*}yO]x~Q7h r+gk?*,!Zmd('Ńbd9C5ݸ8"SpI+)wAy]'N}!E;ϫ+{s].,ʃ(pq\L*g"c7DzZ\4,)KpMWU4o4\=nd c43#Y6X@Ѱ m̩y\+/vRJ\f_5 rc|Ủ?Aܐ_%?B-4#~c K[/8rKkI6q.6uW͕FY &-Z{ľWTQ/qb|(Me={(]4-jJm*iF~%->`~c yU(#;)2ٰFC2sm@ DfIW:N]Ê`UAJHItņZDU푖JzFoAa~17;D=Y8⳦E\[< iMkEIǑ05rS>qYBfnZ22}_3Br)M+ O%F9[̿-g( DZ5l|31n58W0p5DGcR@Vb f?ph+I%[= r5>b0BDL$RyĶrV 8wiqq Z+. Ԉ.DB9r0FQ5vMdÚ8 2[M uhqgYZ7zXZִF! ']ŗXi%rMB ȮЕH|JpE'ʏU kPK\详܅߈FNRp.9(=g`ۥ /K+}˛s7etB#2F?Wߑ)-bFm-#)Dgy.M>hE=HSA( Kv0)ϢD*f_uԌBs8^@I}BͰ?4ui:guЪ O3:/&.8jFW\~n?<6Gu ՛{fs8jf? ЎqZT,kx;\r GaTL=n>*lO-*('^=v:fĽ+>*M]g3|>%v5h@*(4U'w“"m}hN++NeőΏrT}cdՓ~ ,2-MiXxBAn\cg;iRb&Ţx8MFm,{a!6<!g{=r'똻@n2f@YgROpűgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb   FinFun