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  " "S5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=98.703cpu=170.464gc=9.636factor=1.737zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2/xB\ꝙײDF$X#r>0_xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(St>y/nꤙ&T)u/ᤇbF%P({fV؂:f-3LZQPIƂ'A:EKKrm'2sG\ZC]P[m_mzhC W"Ԟs&swD|m!6} -u#67Ge`FțkpAa݀ф}/H:fz~K1w# _X{)[dӕP(kbFbA,QruZR6.G(~`?Jh5A'Ja׊NqHsBÛ9^ ?8:]sstE2!v4-Vjx`f=𦝷-ׇFJhjVGs"al)2T s ݴmH~$A l<|(A[yuU U2t( 0wCCAp&+a{?ג2K ]zx-ȼu>1DDml22i/0WYFVBu% 7J:[\"(J14 ϰ`| 9E_I+ زƎrfKĊafSI~ `\f5P;&OABs8\ufn3ye-1Jn'4%)9@ba ŵT\+Mތ6 #>YUT歰2j-N7ZbFDբ:"f=5)Yl3X"yVwnBڧU}p#'P:L9ZQ"=\7+R;ELrgM욾)LkKRS!.TcJcM!f1ؤ[QӲgpPAXIsd#ݑPiUoNPEX܋FZHOv'/^AJլ ) m=仃&E). $dS+􆎪 &YkdvbN4xr,yTLld|8t./q f(׫cK{}4!$OUV j39E-]{)%SMXB"7[ ,C}(߬'RFԚ@B4|~@N[ݎF j߽[O:t 9 t\3F!+|Q*x{8,65$VguWPbe}bv y$XՍ BYjl%&p (_ jvA<#«<J%UjtTNrҟaCєC,ɤFbfXYqX˨?q;%ܞ9+vIe/Jd2QQkLt^K0 m3\_CZ邧7rzdHC"4$yaFG::=%ռ0!n} OWn'4J'\uS/{`ZIvrKwGjAC'D$͏n'\ȢI)Y ֕0X?F(tyQc rhd3w:h" ϟvMؗL_(˶g/}v! @Wq)ɩ^>bUsը^wW$.yJsQ{N0E  Ĩ`θ=nKe~R=0W__hywSAάy`rYtq,TIodeFN*)^dQljRSp>ܤr򈴙G'v]UDMLҽ뚛MAr=*x%^xE#8&[Iϡ#er{q*= ۹i#BzC_ٙ @7k.^aN"st'[7jx:* $י9Lf>*oy+l+<͋H$DqbY?&::O ݠg(&E#X|Սal0`JtVe%dR$tR͋,9fYbg{XfFƖGd\T(J3u+WҔ #R78W[靓L,FXeZWޗiڍ &,>165nFStҙ]hJl0Wކϙ[;#(J<J"ZϝZTMHW&Mb۞4#)h"̾5`&B&FXfa33;4P]S½;,!ttt`/ ,m9\MC]i /L$pg@e]h+MX]GL0γ/_S2K[/OhyI&6E[!(_l2E%( ݽHv2%冂":cYƞTƔ tiV8u^VA|WL읶f Ѐ2 N8gyTjC`{$4xkC]1Ldwd5G wպu