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 8817 4 ?m]Pre_Algebraic_Numbers:threads=2elapsed=19.012cpu=34.248gc=0.684factor=1.807zXZִF! f ]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4s}(en(Xg( ¢mj)V| p%e$|e"<.c"+\mPͿ|:RW# k~Cb79])'%3SdB+GK-hdYLU*P9EG%ΫZRN5[>0>5lJl1a`H)c:peQAJOWpmI 忴we C}vhXu$L_/8:؟F[n[Q;a%r|+ 5+~f#C36x;Z :tGw[p[`dp`mYcJ1E)8mEE000`ж7_Ny6_mK@8psZL \,5=X:Kﵛ*H^6Nt Hw$`eX>Ղ`ICNJ}&s7XrZ l%Y^PVt7!бcŀh+1](9KV쀛b4!,v %x##e6sYA$0߆R(-J)XCfmxM_F d2&Oh|Ny!Ԭ_G.uKf{C\=<#$$m"|-9L6ݦBfkrxXꠂrv{wBwFV,x"k6*}>Ynncb>.{$r9o%decoϮ_xĄ\+ݖ/Gś[C 1{[cQ`iڭ\m&War''MiPc[Qs,%䞕 `EͲ &׷3P1$!&|m!Yj#4K+ġ\b7 ^en vGl =ꉴee{][YrUC^P9R&e3<{~FAEІ̎>zbD%LH@=.'xj xsw:[k,͑<5Wlu3-v6MgZ|JR%z-8(Փ_I4@VH1Φ62Cg+)Ĭ%ظZl;qD0޿yдAZd3/e9~4pdd &vfbtLѓ L$7Z_e"`*.L}VД0N˶V=P,9t8fifцn4oۿ3+!SWM^s0_uzIG9h43,V Ow-r=&[`jV> Q97+5}؊wMFgcz],ፚ=J4D"֎gYZ7zXZִF! YL]ŗXi%Hr G" A&pvTBxEymF഑ 4 ni8cyke)FXag1-Dg0<ȘÚ&(/yml&~cL35~SwKG#HBya[KPo:"WNacxOGum5i@C|? NewS{# U3hx!_#,c8FMlk7pxl ! mo({PVYxh$Z#cPV+ 1Q$A]Ә~ .(ղ"ͩ 9v42wpQmUXZ 4dVmo5'xRËϒQY̕բ[, 6XxgCUJ) ae^qĸberpe RѐMեvAxA5#7/ $6oKIמBgٟK@C-fUBk1z0X8< _C(OCy Ir4v2o;r4l,Hup$vJ 9>)ٻ[TÐ|B'