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 --@' T  Ribbon_Proofs:threads=2elapsed=15.822cpu=28.400gc=1.904factor=1.807zXZִF! G]ŗXf1-/6vR[O?< nkh{Ab_u7sm`ҚHaCO~RVNJxV6ܺ?|[ljHJB'Q}p3aka+MoPEfonS~ZFԚgIǃ.,Qsט4GgDG)h}@A 9YiNm YfAm{q E,H(hdB ' Ribbon_Proofs9VqcHHpHc{9M=^Rn>dO87:g#,hcz+?B,lxW9蕕 V8*m UJXfʚ}6"/^H~{_7괌Z by_XspDD@y6& rF L*韻@v{RS9pa|~o8᳉]Ź&2B`EؾLLdﲴ,B6k|G) >}V#ɑ,@]ld@M,wEfh\ )w#kҐ"nTsȐ\^r%䨖K5nyHRyz[yݝ+i3ssg2:NlYBrO.thbrtt[^KzLT:-@e4ZV"|z+lpMo#P%U->?bZ rtGt=abkM%\'$ -ZO>[~1WъBU lv\ %r.qpi-.T&|72|7Dn 0+a{e70ȣ/C MhI‚1aZ6+_%s <+q#̢ړ?[n<;&FyTֿ f|0-XAivieTϯ4uhXi;a#g yqS= K 04M~s-reN ] fynʼD50z L*dp:0ʨnx;!Nx'bXv0K֘> ? Oso 0mxJ-;?mgmNA4X0Q?3$ڞ r Lvβ0SU̪MDx >jK`4Vi89z ^_T$ޗ v+[fb(D-zl mRtFBxYՆR÷= 8Oj8ŋ\8͡e-Є x(gYZ7zXZִF! RS]ŗXi%DQEDZH&h܆ {nOPwI1#ZEZ3BrUCfز+ӄcaLƧ.V?]%OU>x+lKvj3E0LU%@|{|OiJ* Y_YB:P!Wg#lC=C9ju ƌ2oF"Ks%L1|Xd}{E5ti]B!]rxJDvG6[LG~Je jIfr.JWJ-".O pϹႶݷKl悥ث{=beު MwDRUhSqY\N&sHJKN@quA˛JGB %;L/pZX*ih2D2ܔP'!3)*tL<{41M#i֪[k@Ez8&Mk'< mʬT5Ա' O]~ \+C./5Ϧ^Ł2TM=!#pBu*j$1,T| w{6ܧ<;ͰOoa6> b`մS͚P, w 63'wޙ~`Na(ٟl9-CbnR|Ӵ,Q5Aors$t%7FrZ3)3,\x