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 ; <$ s/ Proof_Strategy_Language:threads=2elapsed=42.123cpu=75.112gc=1.364factor=1.787zXZִF! 5]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ$J"y@[IK^˶5 P̌NAV H,j^Ȱ:n޵nX-EssU@ E o1čc[ 3  NYۜ^=O*'⛃E՟$v'o_@{Iwǧu]x  OYgYZ7zXZִF! ̣ ]ŗXi%}ZՐFG xÔșzJ 7oytI'YcMBϙ* >dUg E-,GY|i5ϢzpxZպ4\&Nsޱuo9Cb/nmM?Xܕv1{o"W8^}z=\A!s0~XrgPȾ޺YBϤL3a 5[0U`)QeeR)ȭZ% a&Y8ABrT27mHt(ߗֻSjF1o(EFG-I>HI|: ߷.z&?9{w8Ā)~J虌uo>%@,9zjDyӲՁo&@0(RV:pѾ 0bOMxjK:${Wv0BRy[5/bW̼FlA=ύA JG3tbR&YDffO6رm >jC%?ӐК=rROo=-9"x549K` ӱD(ΐMc_J |FhMaw Aύ@eߡL]Afzi5\0e&6Bv~/aPigX%D<)E2} I4,_<cr_~iAf{G\j.r->r X "oo* 0׍UŬk Wq0Cu W8CYFl'I]{ $Dn%"Cό3##9B%FfsMĔ#R۰q"K:aIObd{rd+Xn@ LM0΋x(1|%aڕߔruM΋R?JmK,M\p~9:;z\iRs0SjYk'$Jg:%g,<'#]fŰթXK:GPAqQ0b+K5xkѦ!6֙π"F_1- 0$m0;PiJy ' 6I{1?ȥ2U hO0ﶃʓe>"X\5ɰZY1zď$Ө{VY hP(Ԡۓn C]QhY ų<"gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e66240ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f ; Proof_Strategy_Language