SQLite format 3@ .0:  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 `5 d| ]%]DynamicArchitectures:threads=4elapsed=9.775cpu=34.100gc=0.720factor=3.497zXZִF! .]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/Sancw7g0n:'@-Sdkdj݈MT~z A2NKWQmNm(Ω&zSru2*Y)T=ɛ "5b^5+t?L5K;sMRMz~@k! Xj>yiܚBeA͙Cv Ӥ8<`g.Lc_CT /i0Dǝ T G9+Y+41uv[ i1`L aO ;iAb4.GyaAQ\rFC ¤WvM 9OArMR6MN~ܿ#K A[%S1miT[*r] Sڇi[ƓYoa8)=v*T@< u.Fߦpr0 ΪHYdz{pD`mk Ú+yx슣![&Ks$闃^+GRfE&Osb-YۿfEM2+ Lɍ^CnT*ވ~sf򢽠A-Up{(-ma˻PWEw7IZ= 2Xpҵb:Qߙ{cR!5r(\=,l? z?˥E`A5vOS> 9#9J(<Lc"M+4˶&/A>OJE*ʪ[[4B 3=?CK~ڷMӬvX/`8qjB  <:YqNewXr=-i\F@^sƚT:Zғ<Xb6D?z ?'V%"cӥ6yƳfI۔tr}iIϠ>7ORb@qYOfP᭏7,&)qC=kۇZ,-#E6GĵO),:~Q ?j( }վGuUE??>*r& $w7ڃ͂hC0`'Քxm^萟 Ȫ.~'h Ds'X=OUKE9 + į ְBm~ AgYZ550904d8bba3db6a17bb8b88faa3853df9147c69eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 f2d22cce8c956eb9479b3cd09c1c3a26122b58da 067b7a179d79c86f08896cc485334ec15cad0f8b98af626d674f08b69933031dec8276cbfe6101f1 5 DynamicArchitectures