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 zz1 DS ZaI 84{I\NNPYHi5k `e>}^3Qs0g$'$X#(m7_H9xK1g (֖aw#mHPZ/jz 7gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduWMŮ0`|qL shp! zbto 0K䩹H>8X igYZ7zXZִF! 44]ŗXi%B۾2gEm98MMM/lĦMޙJ("8GrN3E)- s ڟTHLsrҳ~p#+_d^$w0KBɈiT 19ŐZwyV%m)o5Nd**>M7i{_LK*dRqnNFU#z.۠j6jLh>t!Zf=Z-~%VY6)eb*:e9р=[Fշ;Zհ656+h9-#,Aa+,ж-L"(>]i9>~K=A &Ȋoj7ݞ!` :{T"Ȇe_ ^=1ŏIpM[hmybo(CG۲BxCLT[ b$L% ʍnfw;MKmXhS/"79ȐwUP׻bpe]bxmԋ5_ǶS~KGD;1'׻ Nx`` ɒɰŔ̆8zNđ^:c=aɝJܾW 8jrBFBg4f@{MT4* i[(p_s"E#GG}^I.Du/HCp{W!0gJ#RHȤmS3Xh\"Bk(H7`C@E~3k!9ю u9ߥҜ*J"lJỡ^SȵpFw#hٶ?j""=x^;?vq_@|qQmM+*9uEEYfD"Hf웶>Oi`Q[#5tѿM]ct(Kϓ14`c2Z9_HfhO{wJyf UKL"T@li3C'XdOKANrA◓#"o?u~Y̲icZgYZ6bb8102677c1cbb167e86ef54ccc307d768f69f276b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 1 Concurrent_Ref_Alg