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 VV'7 |<| ]/ Abstract-Hoare-Logics:threads=2elapsed=13.050cpu=23.432gc=1.648factor=1.807zXZִF! `]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸(N)va?Kz1|x_|ױ7؏/DT3I;0iR`i HvBQ5-m,6~67XOw[Ix1;CdscCL: 9;W K쒮Q_1&U co3y7 b` s%{(S㟓Lu;a-F+XLۈ,LŎhkti3\}hoi&6x+*/{ zR,I n(t׎vҘplmkQ| )9 i{g%t)RT!TEuXl9lCjC)#8TE^l.>,1 R]{+Ds2Fl{C%;!,V%1Ͼ 2tRҙD虯f~B>hr ږ;w4zR+V+eX_sN?rI;{DM%{Z.+4 ^ 4f"埅#q2" Qw%CJ,1?c5G,s~_dw V8FiV3g%tWeohkgȍ..VmF݄o}^vLid~mTLۍO̲#ǫ( %XVR2ks qots{4U/DƲGU׍WԿeEh?HpE^u$i8nLx}8oA'{Єs riS@/ Ӗ51ӁgYZa8447b39ca54213fb2076e9f803e6575acbc747e79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 7 Abstract-Hoare-Logics