SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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   a/ L| %w]Pratt_Certificate:threads=2elapsed=23.864cpu=45.220gc=0.576factor=1.897zXZִF! 6]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0Bl}YrhV3TIqQ9[" / Pratt_Certificate)$\} 3"r ^A^%3N!w6n,:fHCNJɻ3Sj 3>u;@9(.93`qچtg|p\M+L+eψzu!85E OOMYL[]xH]ؒ3.F!u={cA}8%ga"Q6XdTQ~fU;pyyy ~lOyX[Q,(\ISOHm1d*nfR9Kq26.hSͽ#As@նEoBf!q-@aSau2cS7ƆUi&[񉲶3p `܌%p׹SĹ&"jj8&_"톩MOVKWQS98s}6K߂`TT-z!Ȧh&l]q̽:wݖ_Mx\tu6ptw$Sfqv.>VZxgnZ*MEOaAlA$C׍Krrޓ0vi }l*eWgYZ7zXZִF! zJ6]ŗXi%NNzkx6=*y2ۅ8?0+uBu1*_ (,{ J<,Q) 'O}؏ɨ7IJNJ=ohiÑ:) #hdȩcO|<)vKHb(WGglXrr+!ڑi0 zK@L"bkY`:kp'1m=UgsP6E(~]_5W5j5jW)w\sR| ZgY ;X5c&yȣ=nՇhבJ@'R1YWJќ#跕b2o07vz1IʐF>1(<){=S_c6i08w6ԮR0!-f>Ql9JœsI|F+[k<Cie !–VJ eso 1p`=6$\|=Uv2nH'x N:4ʧEK2bS;|0F͸e(&|xJR JFha$"-c X^W}0Έ_^OUG'S!S_j w+VHޣ82` /L߽YQpBu !jt9 G|NcT`$,aQ\/U1bBz%>f1w3![^>TyDZfWa+92΂s5<2DMr >3&7Kp1'&2lmfN+g -'xX#bjv23h~lCG,7d^OMH~,vfa%3rQR+