SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ==@7 4, Y/ Abstract-Hoare-Logics:threads=2elapsed=12.887cpu=23.460gc=1.464factor=1.827zXZִF! ]ŗXf1-/6vRZ\vW>_=֭0fA@NF &Kkf혮Y[/<;zA :;hnNWD|팋hzGkuq|a.Tgz/ݯҴ5X&0~%.8k].05^R0T~2I4?ζ!N1 STcIe:C]HbHj~8l pŷ"b~7螫~ $/[ ˱gYZ7zXZִF! FM]ŗXi%kUҔL׍m1ĝ/1HS⚃R^L(G+JvImv2@КuK:YKV.ݏ'E7E>8ևO|&>.uESOq.=rF :.QB א:)WCl|&;}QR#sIe=TZ԰/o)Eޓ|&"|DLd0Hc*aJcZp!e@A֫,BŠf>3S:}sǰE Rc6"fwNo8| ]K9+}egYnX(/<8W1|M{ܜԲz.+[/ E}Уte$w|1Z:h#IOs/>(hw&b:bS6|tH#JTC[Us`|Ѝd+M(Q!Wq/SSer>jTi0SR*̗|*-9*7+:bͰ,;;OT0jEwI%ŰuEA܉`yX0^yv'^s#i^#1=drJju!ZkVu8ivL 4b^%{5 lğ og ɚl&QSϴ.+ceW,gR&koТ