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 MM0  U%]CAVA_Base:threads=2elapsed=7.348cpu=14.516gc=0.856factor=1.987zXZִF! :]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5UbtoFyC ׇu]Sv8:|V8V i6#JEc;a{(=%r5òl6t RN% N*bF:KqBr=IlkSAP6_մ o#LL8W{9V89ɝ -,oW,xs#=ѸKdV 5ĈrLpYmcY԰/brdt!n, )Z$V'-KYO**yc^m%kb**NV5D$ Kk,I v"KU2ڕ5é\T"F((J4q ÎJrχ!K[~B:`TEL cMF|?3){OEnJ֕ԖfW {#o Ĩ`W`6\)V44-gYZ7zXZִF! #"]ŗXi%6xLDK27 YOYZxTPQS1Tcc!vn7'ףG~50A5ZpyMIdOmidq}uSZf+$ 'a3qax'*45kj|&+>!eVœV {P~!,: z*'N2;t&VZ=($S4?T\A;H6K&B{%;6}&j,0ɾlMva6 {gFυpy װ!INr +TwEb-qI)tc WX\rRި)89=Dlَ e=oB4gbýU~DsVi$nwRW$&2ZL ,>?]qTo`d7ht`j;t>6ЏrEy՝~T2 ܒ%nTO)٤~#9b KvkH3^ըVsdT