SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 Z' < ]%]Matrix_Tensor:threads=4elapsed=39.848cpu=72.164gc=1.672factor=1.817zXZִF! ]ŗXf[&L_1;vU+o3&-8~.eE-`PƲˋb 8,'WBgV^j6Iy%"M3]Yv=>|P%7^i?.Lj*\\\k0Nxy J9.,vvZI7z>7z8WVBU̱d[{?qClU3-ʱZW/dard:SzuiȶZ 2p)WSQ! ۰kV=ʎ_Dhk`snY !$asɷlx\q]'K뙮*A̋^iq^ʭ}+ +e0 (4h7 94@sbQl!k}YZ7zXZִF! ]ŗXi%Ip4x(4 P8 c]"_D *$u]'dT>T \e4”|5G+>'h+HpPMcg@_QЬlpݕɷ}' b@ A[/-XXo xgE+7Ф-n6pwqU 3Q'ފ+N]E̓`E&<;f_-WHx(j,7L}ZxtTgF;<[+|FFbk¼4wengLN/zPAt&&+SYqN:BcM~{: :DZ{r#Vw YJOwRoV63OKF)z`{I#([ w{p73)i(4ef_&1KRz-$H:괍Q~Y#|etb'h_TOuD=냒̒/Un%MΨlj\ `1|2|! Xh7'i _K[<(>݁t ?1ڽ=2_Qw TK35G%Y!m){D 4c:wTףKz@Ѵ:Kux&K< 9ě,h%#)@nf3^&kݩ&qo,f`xFu!hUkİzRax޿S/ sEG*L/r-8v)X)K5=,8=R;'lV6F'@Urg3`TcmRCOI0pĺ4g]*F ̮aDHb$a/HQ[v"ʲO؞Ś^ 0nelVzݚW:[ #ɕtqGfXJHkP{rH= 'U[Q3D,a尞C- .M֝RrI)A%S7޴*ŇRj6lyazėFg=r-'/9it80[#"q/$i/z{A3a+0+rSF 8a~ArHCnl*k>rr)0?Iա6f@*Gʪm|Uy4vK[K|@i4G؆Ype8^Wޢh diK>jQf:I+ hi.+nv˸ \T)m ` bӷN4j 9Q6z~Wh Sk- o;~xv.۞ZUs)xMo)ڈQ_bkh+ɏȩ-ĦyVـ MptuavC$Pí`4.17ocٷt!q6Q2 M&PHc[Ӌwߞiו\ ^4"Cx5skM".tl,<]b:OV5d. h2r[-sL XlH4JEx҃9C=ul'TG,tx(*?$;ʑaXpO(ziv(qVhsrYP`Pyq6O;|Kc[_ɔsxpww.)./Iw$*y^M*wlQtK$z@Uqq+:J+ws-yY@":^Kb$cHfe?#ʋ/,S%>Cbs Co2ejF0nh |V,*|Z=Cj@'r2D8(0Tf'` גO/XusZֻՁ]WMy¹qW|w''nz^r+rc->oH 1b8 A\8#ሐM@RO"Ir0@U]rAÎ R!_S4%âqxu~`mkj^OkgAݢ]b:',e~E)-@`2p:cEA7i~BHFO  rN oFPG8g ,&9؂m;TBc=tcH=Y'1N^ra!P\ga[UuPVƙA#Wb1APߐ kc|y`(BC%8^CW0\H*`/ {JQr^[\j1E8J*A0+Fl/ҐŒOIH)ޝ^xDu;)/XәzQ5o5=~#+f@Unћ%%_:d