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  % < L ]/ VolpanoSmith:threads=2elapsed=8.622cpu=14.804gc=0.696factor=1.727zXZִF! {V]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv7H߸nR/xbgpJeXs> sncYwVq7ӳR7MPMIQ v+*lr?/a,&"` .1=mY3[281tx4ؾ')CgT uVjXpYF':^թ%ֱI)TA e ÉG`2_?3^y<F`6׎/檍R,}gޫrO:*cR^1:e#d:*Y*,B~-q5Y1gYZ7zXZִF! ~]ŗXiɟS+;̕*A!@l@?UVfpr3 XQPN='n<޽κŏrkl) g)/4d3t.(_I7h6xꐄf-s`fI`\cjlgYZ7zXZִF! 8,]ŗXi%;çsIXI+ >Rg71× Vk,s:k`+6bLp'% aYAt e5ȭcpunNR&'[wwG=DSP E(+G ĴGNCaҌpk$'lEpuT@%kTJx2}(vY &]XdY[Xvϛsp9:)lQyuUאa}( jĐ nB" +5_RXT~j[B>D#\Rt$= =dѼ$%Z$OJޖì&Z6 .Xz%WB&KW4'`T/ b;궈p2VE@;McDUsK<Q3Q?(eDVVl|@7266.>) /7GU!MLZV,V/^;*ݒ&+@-f`V\./sE*@7ă}+~RG{pv Hrc{ٿ^ T 9"W;domf9/"St߮$S!9MV˫Y(^z^+B@nZAa' :tΥ-U~ۤܝy<}㵳y/VSf+DoXY2C/fVOp^UEt.m $J4cS;OB΀Z_N/%3e9G5'9{DK*e\z@}I2 Ӂ!?D 64$v0^_{Mg Ud"=O;~}*wBKfWU8+ r4TԵT>W'MF5z6bk%K;! [.8;7pV!gYZc14967cb1804e926686b55b10c2d8460850553a679d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d % VolpanoSmith