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 CC: l< ]/]CRDT:threads=2elapsed=26.743cpu=51.212gc=5.316factor=1.917zXZִF! +]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k$ |o|]]-cJw>]~8Be𭦍L)6 "K[.ׇYmY{=63ʬcۦpOc}0VnCrQu5ϯupKA(V)F(xn( 0I+ڣV>&Q//ؖe\|$rCՎ֧uM~G !VxJTh@-; o %b90+"Pr}}pJ8m 6PT^KM}Ǎ'_/9xI Ev#h2??+ T) (&-1*>qF t%\e66iBJ0{k^F3ߎYCH\d3,hf w6TX,,sMp2'=$StL]SiጠB{)M$: @ {짽jSC~җ^)zynԪJJJ2%pGe'ʵ(Bq|r~c+϶4%GX+s`sB^Y5^A]49ӄB`ߎ;@t!`Sy(nOQڜoy}LJӣ]fUfExdn҉"a3}Xy3:W+mg3Kj" Gm<ll5 KMXѡ& "]7Tseߤ l`N*cJ+û%/lmI0]jܰ>@Ƹʦȧ`¢=iG/тs_=) 0uh#_BU/jU7<;$j!my/'FE^4,CRq+:A2ТFif+ ]>]Ū:  Ӳe̿OSBNqЧɯa_ UdTIi5Փ9,g rG&n(-LH͠DM ڤe% ׌_Ԅ&|L? .cܤJakM{t: >gYZ7zXZִF! V]ŗXi%933P#hf"VozqzN\IR:8 ci+-ŒuƎ-~hCA}5,Bt>gs>2a`r'yOn`)yn$&w*e 9{\ψ(EHd\hH4X|?xM|/~|Z&*cq[Rgx!N65'&\C'xW:guBۣ68gRW M)Dڃxw+qFȍD@-~;u1V0]cƎV7CO1rʔwJ_1c,6.A{ !{9O!a"%w͹)&=(@+Y]x'L}YS8m5ߣݙ読y5 瞔un_lb Wu,G֖P6Ə>ߝT9K:g:Jն w86 Wf|^QL1VezMWN NLޔbV˒H,% sIMi$!Le;=V.K)>.:X?ky'm7dȬ'<L\TL4,U2@WEjyY~@1ߖu>It7LSg%n -H?5ЉISju1L %in{w`"(Z cݚ[Ve8<pa('ohtć D@Y=hP\gY9q i;sF$l1K&w+jK$Þ}aՁL. Vw-DlYⅎv*-b;n4=^Pv|8;Sݥ|_kNae0b;ed/ ."U٥,<0Aqe<l g( \KM(h{[N70Ӯ2+Pkkb096uxoUǟ>G&&%&n_gF_ ??%z\;ʤԶm@77ٮDj.N._C†A)J#iιiKD}%egW$'`8;3;4ӓ2kU.xLGHʠB }Pq:gYZcd1892d254f098ca43161aea098019754986dbf9a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852dbe6cd97a0de4d61a2a72bd8dd297e8605314578  CRDT