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 TT) ,L ]/]HOL-Word:threads=6elapsed=8.907cpu=40.256gc=1.588factor=4.527zXZִF! }]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ςb™%ɎfHӫ$`Nxܹ" ˟ z*)1:f'*] GGFwq>`z{4rR[NEVP N/i/,wCn/*(-! K+[Xѵ4܊$D>8iT.0߶uҷvI-L1`DTA+ؘ0F~@qkA3?}DDsօā0 fA{HRK(_8la1n{n 'Hy8TBOq8C+C7M]#ϻ}/{R{t%u!YKvI-UEbn^wYS kbSEe#ƚ],G7Ԧ9бCp*Ĕ󘔾(Sq{;m p5[M _Fo At_LɼzS|<[0J2}#R %Tp@gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p4YW(QxЩ(78σsA%A&C{oZh׏| w})PlwK#sI`K >8"Ow TFܭ?߱/N20f[N, h2)8*8 " ,qe[[yd&"ۭ1p]#HԐSO~kAB\gau[pVCϤt}E-2=vxS*馫q6F=\dvU{Dl3)c <^7F5_"( ǎ4cMˮ^Im)%R4W;2Ccx/&qk^(izY%:CP| ظl2- _F?$"0mrp{qoXrH! )B e^5 7l%h!rS$u fq1G*ēKhZ.(F#gӬnZ)l21S+P`VN-ć].r5# 7,;,%Q=4=*җr Td}/C`C3dge? b[$х** 4 jD̻, ˷ ţSJdN2ωQae/BWj {QIhJ{ҹм.=}gM+N/-=wbV;3r`˱1ah2Azfq|c8C FZD :{!,Y6I~xHJ6~v\hT@s#neE#͂#LjTv+kt&w ֍!z̋f72rHWISÊP<zcկhT-S03xd OB\a׃eotgI#P]=Q@m^r_:k7*{Hxyߋ.+äḢb\8U