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 ]E tt4 ]% InformationFlowSlicing_Inter:threads=4elapsed=18.668cpu=58.968gc=2.704factor=3.167zXZִF! %t]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9Vw<$:>G[)%45%h^ƭ[,%5!{JVV7_2Gn5)/. <2#烞u*eɂb ]D&v%s]*b-S\CAxᝣ;K(Ļ%0 [ Fxop^E*PtBɪ;NPi&yZVдC#įJ݄V\X K !u]$:U;h*ٝnVW78 hf0!f 3]%my2)Jͱkokv՜m:sL$~A|`^ ˼jS~蛜6n.;11#K$%%s ٖꁔQ񖵉tzfIQM=9"@;+?l#Ж y@t}B賑%5?`~2,DO^"LS4y:HS)FM@:wK*8gYZ7zXZִF! s]ŗXiɟT>(;gG"**Ax(ɳe{ ߱s{J]k8ldr8"$Â逛/N%%;w m77CgYZ7zXZִF! <T]ŗXi%B Ȋb 7EmG?{:Ц]!\v4˘-yABlmqMJT!X/WDd|hsm7Y&R),U~(>8Y3yɂ!b+50~,UAչ% gڳAtNǹ& tK{6ce`E9uta<@0EMx b0fmPbD]CgH ȜC6K] LptcAoRF,i# @Z{0jjk47"= `in/WӽG_}xvoEv8I). T={4%㴧gdW"W_rVJ7j/A*1.j_X셝B/IëeE5Kd"'|7% t"o>M Ow-pV?軕7ٺORosaB;I^Pž_>T٢*kojyh{5N4]{ b H1%ͩ<@[ je`/I7*Ml<ƎĈC27\\U'?{TAi*)~PU"A7鮛M Q2,ŹB\J/L4xym*"RRL"Mp 187^⚝/0ƻV8qoے -1yNo~)S8]H-/pXNHAګGs ;,g8h M׼K"lo5u%Uv! ?殆-$6P#م6Ip|ՆGզˎ=[vIKΟdD ?6Zb> -mv7W=g0*S!h5l?_2i˟p? 5Ea>PqKfMrg2M{[4 b3*+b;@)zE.V]?D8+S*n#\hfpɸ }yw!$KBR9sg0'[Hcӑj ?@ky@@litBVz!N=Fbs?L 7awZ.k}jDkvp+OܣZp1vAؓL$V6at5qyx/7"z5BAۺFVꋕT:E( Q&U»hbاT;ar^bߞDĹy -Y_7aƛ\̘2X;f°)ܞ ^c[I7Jvw?'VOUZApȳO/$EURԨDn \gon5xF`,Q;Y{Q&~,vu`ֽ 鰔]"*z% NLJڢpsy]0