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 6- Ld, ]/ ZF-Constructible:threads=2elapsed=16.184cpu=30.920gc=5.952factor=1.917zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhu"YRVi Q!}|dʿMѸ(/ |Ҡ9 jv. &ɰ * G3gAKrs~PU,Bh Vn nϝus!3V6Vؑ*ਖ਼8%-pZjЅISӘ X'p+Ic#πDZĥ5m Na͏d]+lUC@26Q_x &shH7K𨲙̽nK4qsa*v #?Pryh| :;}U&J5_o-oVbƹ@r4=4i~uүWS!z2 ( ˦&g"ʱ5|J86ZRcd ::b _b;%oYӬf`<}.6kRK/qY-9ceϙv8f_øqxBI+׍jP{Z5m Sѹ=w 8f-\' 0%oǃ$<ƴRz&tbQ{qQm *ie#S1-4vûѓ)Zfog ~˿1bA–aD1 -ۧjѣdxi)^\v3(5EtGbsDcQ}䪬 `j9+Lq?cj@3{P#lx|u~ɨD_Y!_\^ib"N`w4E`K֨4۪Bk>AB:mØ|pxi(뎆WˀZFvVp#?D`s96賷}+7E3OqR [JaW)~bfA=7S,Ԃ~Š@&u z?b2W|} {㖲RvTfH3cZt(L=JZo?95Q ^=vIO=@6Uzlq Vs!7lK%x=YvGH[9NbY|Iן2B$BьQ~E@Af,/xғsofS:kWRk _ہQz6SFXzoVVC+uM,P9+E'wMy)0P68&^9'mư&NXFV#*VӅ>S!Mvt|4 RRñgYZ05f1f42d5e01ae283ec68ef6870693c10f6bcc28db6f05ad5884c3d4b639d9f4b203792d5968e568 a576462fd42ab1a9ba9f77843dd376627ab012e6 - ZF-Constructible