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 k$ / FFT:threads=2elapsed=1.415cpu=2.716gc=0.000factor=1.927zXZִF! G]ŗXf1-/6vRZ;qOYxqWgAVľb_h+}7 >.>+@*\apR?Uo9-շ}e,Tj_4.gEr~ s Fl=5pf%"blTtR}P6?.C[Я>3Z~h{2h#fVf $f ?VsCCG&=$  FFTۚM&w uBabY:ZduO"`D;: T0=U^cK'8zuDrI߉ n6@NA##" /AU#\{8cu1d?7;c"f XmPpO(Ib?"wdm=2K7+"'>}7!0Y̸^s3F7^ɥ##9Eo}% 1 ;ֶfCYM&HgYZ7zXZִF! ]ŗXi%̎8X@]Oc kɽJ?}0S8kieNZzHC@s~D "#sj-pf&0),@8{($iԨ^X.4U31ui0i>q^˧OfvjnLa0gus::VBv:dAZot- ,y "btP9;r dF;;@SRWE۝߈NX٦1)X]1 sbqi: GVd*ͯg:r|#w0ygOYXM]iČN,7ʝRP\go>$:/WfYJq(`6 ã6b+͔Tz]o2uVw`:#H^ڹN<{H(OI6_Ʀ\9^2 ձgYZ03537134383497ef68122b1c8438b2d1c850a07c 305ef7076f6cf9ccf21ec2178b2cfe6c7a3b3270 f1a7d4f2fd54f44f5a109392c4ae8d01063b4616878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457