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  r r' tl ]w]CAVA_Automata:threads=2elapsed=69.859cpu=96.420gc=5.316factor=1.387zXZִF! &]ŗXf1-/6vRZxY{"QhEA}ξY•dС x@ۥ1H !lQcI֑9$f:#ccgYSYr_iʳbEycK\]P:7nHQ OB9x)ȤJY wZ_M(dO2Ru.4vV(w0sc%$4\h'.'˝1."-~%k. _1aN ķB3lZaP? 13[R*(;kc\²n+Kj\f. WvgmT eX|-IN'w>icn[߱`ݭ ' CAVA_AutomataMFgYZ7zXZִF! ]ŗXiɟ>P*%;֤er,L`&ṣZ#_erl1Ltw G`9ˠہT <4V~wқyV97~'{h-f>drό ؀5?A1L@M#~7*SJY- ;LN8B@{'%KuU'$Ǩpvק6;Kej]M LLgYZ7zXZִF! SE 0]ŗXi%q,&5< P'hbR‘1=M:Q}hHk2!*rAri:AvH Ъ6ȫl3#Ԋ3$YL=.Z |5S]Ik>ށ)RXp鎳T"2!F u7տg  !}`PH Zìn]/KҹPt]~|͑\?>zzDQC|5zo]Z>\rڛIMutw+4-̒o%EKOQwLx"L=?i u _mjD: 1W 1 8{zAQq7YK'O3Wƀ.]P"|c%2ʻOFpPCϙj3kh4a*t] StҥjרIj^gnż#%*IS/Y C*ԩc8Zd"߽W XSx_*ƾbN"\n*!2* qq|Y'IC]3n&2(5v7<% .ϾVQl%pY=~ D+ae=` a-3 8K7|uj]?It7XZzcܥ8^VɯrNwDW_4 A"JL|mS3k,VC;=W{ WkM-{,e%x+i軮&cYwSN9<%BS5~3߻cj:gvѰEMI=9`٠DFxlyKƬd F9j)h-{t #eN)=zkLc\߮$#V+b waZGPu!BpRA48tcʭW-CoZ tiGz&95?J[/(f[c"j(t -PS)s5Ӑ!綕kp&N(A>.?ghS{Oh[];,9d+L#TZcDwsWY':~Q'񖨶,4+CNU:P \bBoUʚEzUI#qL9[~͆/ ֌UG܉}JJ9&K(J~,)Ղ<<ɓ(RϮaf6pfB\>lF qtdTZõ'&@[sMF":" É k_nD,^.ZWix@Y h}FMpjKⴣmq~v!Q@C9āQ&)D2"?<=Mj^fal2.y\ÂxF,]ZFA0ZҞ1K&[~uhq"?s˰0æ 4PF҉7YtIݑՎJ& ZEȆcC[6u\H+&_:I@!`ЙͮZƆq( 1h#9ot*6xsқ6`~5ػ~{=Uq*G.awђoS_-Й hwLCƇqV^7 Жd "Mͤѡ =Dcnō̼ NPl|&]8`ۙYv?P{!wU×d1^&K}y?܀[h(W^^gZ_f *^`EʫxljoD@9ْa (܋%t N`g l^ S]`QV.s&}wM=;BFo_Bt*C [{>M>^RG٫x?(bmx