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 ll1 L ]S HOL-Probability-ex:threads=6elapsed=7.335cpu=24.036gc=0.728factor=3.287zXZִF! :]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-;bPq"Y_#\0vJ8h)5mt0ϗ-6qul'a(.Ҳ1 ˵cv.c\ iea%XIŸ2tb}9 1hHoR%}t_R:d$ۙ/16jcu4RL6WYw}ZrJw9c_x.%3\QIXQ+V<y>v,J5 h蒮&Q*<*/gyY$Tf:@݉:49_ʎOoȂ:hBTmkS&ϣ 1ȄƒW6Ye9P,chI#wfœeBNlxw#(#%n,hAeVfN:TWG띬;rKތ_;- 7B<_fhgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >fn*VґI~h0[tInzFN/hJ09),plMӗEK(3}J'\ź~cv&v)YPLN(cWj$M^)Q=Խր kA@{VLgYZ7zXZִF! )]ŗXi%Gə#~j`GzXt,4=2 HLTHOdӘI!I!((#.YpRc1xXY8䳞W2ܲ tZt %Bl8j!jܖ.9"|#: @ =f<_j6A< qO]}ڴs,b2%5Em<7fr;Έ%1)sZeaG91OeQ w1gxok H^{7qw[ QLn&b2N$&O{(յh]T;_%k T]mao9UM@3c!`(Hm^H,B1i.K. (;6vOcI&#._aOrj=,Ͱ$8f2R^Jzɳ5ngŹYG]Vcoq>H4# N 7BhQ^S 1E \m^alJFU >:%fzcOd>ŁC%bS| T'9>2 F=p 3g1 eIU$e?KlY(=daGco"hi